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, Haskell, and Nix.

❄️️ 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

    Common Lisp 5

  2. vix vix Public

    A (very) thin wrapper for interacting with the Nix CLI ecosystem.

    Common Lisp 1

  3. meria meria Public

    A tiny collection of Lisp utilities with external dependencies

    Common Lisp

  4. clingon clingon Public

    Forked from dnaeon/clingon

    Command-line options parser system for Common Lisp

    Common Lisp

  5. miera miera Public

    A collection of Lisp CLI scripts

    Common Lisp

  6. emem emem Public

    Trivial Markdown to HTML converter

    CSS

Repositories

Showing 10 of 22 repositories

Top languages

Loading…

Most used topics

Loading…