Skip to content
@BasisResearch

Basis Research Institute

Basis builds reasoning engines that advance society's ability to solve intractable problems

Popular repositories Loading

  1. chirho chirho Public

    An experimental language for causal reasoning

    Python 278 22

  2. dynestyx dynestyx Public

    Probabilistic programming for dynamical systems! Supports models with NumPyro, deterministic & stochastic systems, discrete- and continuous-time systems, and more!

    Python 79 14

  3. effectful effectful Public

    An experimental library for metaprogramming with algebraic effects and handlers

    Python 54 4

  4. ship-your-interpreter ship-your-interpreter Public

    Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary — zero sorries, zero axioms

    Lean 39 4

  5. lean.py lean.py Public

    Easy bindings between Lean and Python.

    Python 35 2

  6. millipede millipede Public

    A library for bayesian variable selection

    Jupyter Notebook 31 5

Repositories

Showing 10 of 46 repositories
  • ship-your-interpreter Public

    Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary — zero sorries, zero axioms

    BasisResearch/ship-your-interpreter's past year of commit activity
    Lean 39 4 0 0 Updated Oct 2, 2026
  • ship-your-ocaml Public

    Verifying OCaml's bootstrap compiler: bare-metal ocamlrun on the Sail RISC-V model, ZINC bytecode semantics, Lean 4 + iris-lean (plan, validation, scaffold)

    BasisResearch/ship-your-ocaml's past year of commit activity
    Lean 1 0 0 0 Updated Oct 2, 2026
  • dynestyx Public

    Probabilistic programming for dynamical systems! Supports models with NumPyro, deterministic & stochastic systems, discrete- and continuous-time systems, and more!

    BasisResearch/dynestyx's past year of commit activity
    Python 79 Apache-2.0 14 50 (3 issues need help) 9 Updated Oct 2, 2026
  • ship-your-lua Public

    Verifying Lua 5.4 on bare-metal RV64 against a formal semantics, on the Sail RISC-V model, in Lean 4 + iris-lean

    BasisResearch/ship-your-lua's past year of commit activity
    Lean 0 0 0 0 Updated Oct 2, 2026
  • droid Public Forked from droid-dataset/droid

    Distributed Robot Interaction Dataset.

    BasisResearch/droid's past year of commit activity
    Jupyter Notebook 0 100 0 1 Updated Oct 1, 2026
  • empiric Public

    Project page for EMPIRIC: Experiment-Driven Learning of Residual World Models for Robot Planning

    BasisResearch/empiric's past year of commit activity
    HTML 0 0 0 0 Updated Oct 1, 2026
  • effectful Public

    An experimental library for metaprogramming with algebraic effects and handlers

    BasisResearch/effectful's past year of commit activity
    Python 54 Apache-2.0 4 58 (1 issue needs help) 25 Updated Oct 1, 2026
  • predicators Public Forked from Learning-and-Intelligent-Systems/predicators

    Learning for effective and efficient bilevel planning

    BasisResearch/predicators's past year of commit activity
    Python 15 MIT 31 6 4 Updated Oct 1, 2026
  • lean.py Public

    Easy bindings between Lean and Python.

    BasisResearch/lean.py's past year of commit activity
    Python 35 Apache-2.0 2 0 1 Updated Sep 30, 2026
  • collab-splats Public

    Package for deriving gaussian splats, meshes, and associated semantic features

    BasisResearch/collab-splats's past year of commit activity
    Python 2 Apache-2.0 0 4 1 Updated Sep 29, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…