Basis Research Institute
Popular repositories Loading
-
collab-creatures collab-creatures Public
Analyzing animal collaboration with Bayesian and causal inference.
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
- predicators Public Forked from Learning-and-Intelligent-Systems/predicators
Learning for effective and efficient bilevel planning
- toydb Public Forked from erikgrinaker/toydb
Distributed SQL database in Rust, written as an educational project
- dynestyx Public
Probabilistic programming for dynamical systems! Supports models with NumPyro, determinsitic & stochastic systems, discrete- and continuous-time systems, and more!
- fairo Public Forked from facebookresearch/fairo
A modular embodied agent architecture and platform for building embodied agents
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…