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 78 14

  3. effectful effectful Public

    An experimental library for metaprogramming with algebraic effects and handlers

    Python 54 4

  4. lean.py lean.py Public

    Easy bindings between Lean and Python.

    Python 35 2

  5. millipede millipede Public

    A library for bayesian variable selection

    Jupyter Notebook 31 5

  6. collab-creatures collab-creatures Public

    Analyzing animal collaboration with Bayesian and causal inference.

    Python 13 4

Repositories

Showing 10 of 42 repositories
  • 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 60 (1 issue needs help) 23 Updated Sep 24, 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 78 Apache-2.0 14 51 (5 issues need help) 8 Updated Sep 24, 2026
  • tlaplus Public Forked from tlaplus/tlaplus

    TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

    BasisResearch/tlaplus's past year of commit activity
    Java 0 MIT 271 0 0 Updated Sep 24, 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 24, 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 13 MIT 30 6 5 Updated Sep 23, 2026
  • z3 Public Forked from Z3Prover/z3

    The Z3 Theorem Prover

    BasisResearch/z3's past year of commit activity
    C++ 0 1,732 0 0 Updated Sep 23, 2026
  • cvc5 Public Forked from cvc5/cvc5

    cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

    BasisResearch/cvc5's past year of commit activity
    SMT 0 311 0 0 Updated Sep 23, 2026
  • 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 632 0 4 Updated Sep 22, 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 229 3 2 Updated Sep 21, 2026
  • BasisResearch/verified-nrkernel's past year of commit activity
    Rust 0 8 0 1 Updated Sep 16, 2026

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…