Skip to content
@vedatechnologiesinc

VEDA Technologies, Inc.

Solving the (hard) probλems (of CS) one (PLT) at a time

VEDA Technologies, Inc.

👋️ Hello, there! We're a software company that's pushing the boundaries of what can be solved through computational means and with the current advancements of machines.

☯️️ You can find in this page open source software that we wrote and we use ourselves in our build and development systems. We primarily use Lisp and Nix to build our systems.

❄️️ We use macOS and NixOS—on aarch64, x86_64, and arm64—as our primary development systems and we deploy on macOS; GNU/Linux; and on the web.

🧠 The white paper talks about approaches on how to reach some of the low-hanging fruits of general intelligence based on computationalism.

🏄️️️ Our headquarters is based in the tropical province of La Union, Philippines.

🦑 You can find more about us on our website.

Popular repositories Loading

  1. marie marie Public

    A tiny collection of Lisp utilities without external dependencies. LispWorks only.

    Common Lisp 5

  2. dotfiles dotfiles Public

    VTI dotfiles

    Python 1

  3. vix vix Public

    A thin wrapper for interacting with the Nix CLI ecosystem.

    Common Lisp

  4. meria meria Public

    A tiny collection of Lisp utilities with external dependencies. LispWorks only.

    Common Lisp

  5. miera miera Public

    A tiny collection of Lisp CLI scripts

    Common Lisp

  6. emem emem Public

    Trivial Markdown to HTML converter

    CSS

Repositories

Showing 10 of 27 repositories

Top languages

Loading…

Most used topics

Loading…