Basis Research Institute
Basis builds reasoning engines that advance society's ability to solve intractable problems
Popular repositories Loading
-
collab-creatures
collab-creatures PublicAnalyzing animal collaboration with Bayesian and causal inference.
Repositories
Showing 10 of 42 repositories
- dynestyx Public
Probabilistic programming for dynamical systems! Supports models with NumPyro, deterministic & stochastic systems, discrete- and continuous-time systems, and more!
- tlaplus Public Forked from tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- toydb Public Forked from erikgrinaker/toydb
Distributed SQL database in Rust, written as an educational project
- predicators Public Forked from Learning-and-Intelligent-Systems/predicators
Learning for effective and efficient bilevel planning
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…