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 279 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 83 14

  3. effectful effectful Public

    An experimental library for metaprogramming with algebraic effects and handlers

    Python 55 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 47 4

  5. lean.py lean.py Public

    Easy bindings between Lean and Python.

    Python 36 2

  6. millipede millipede Public

    A library for bayesian variable selection

    Jupyter Notebook 32 5

Repositories

Showing 10 of 47 repositories
  • toydb Public Forked from erikgrinaker/toydb

    Distributed SQL database in Rust, written as an educational project

    BasisResearch/toydb's past year of commit activity
    Rust 0 Apache-2.0 633 0 3 Updated Oct 14, 2026
  • verus Public Forked from verus-lang/verus

    Verified Rust for low-level systems code

    BasisResearch/verus's past year of commit activity
    Rust 0 MIT 240 3 8 Updated Oct 14, 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 2 Updated Oct 14, 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 83 Apache-2.0 14 52 (3 issues need help) 11 Updated Oct 14, 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 14, 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 14, 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 22 MIT 32 6 33 Updated Oct 13, 2026
  • vismatch Public Forked from gmberton/vismatch

    Wrapper of 50+ image matching models with a unified interface

    BasisResearch/vismatch's past year of commit activity
    Python 0 BSD-3-Clause 83 0 0 Updated Oct 8, 2026
  • paralean Public

    Design and formal verification for distributed Lean proof development

    BasisResearch/paralean's past year of commit activity
    Lean 0 0 0 0 Updated Oct 7, 2026
  • effectful Public

    An experimental library for metaprogramming with algebraic effects and handlers

    BasisResearch/effectful's past year of commit activity
    Python 55 Apache-2.0 4 59 (1 issue needs help) 29 Updated Oct 6, 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…