Popular repositories Loading

1. chirho chirho Public

   An experimental language for causal reasoning

   Python 271 21

2. effectful effectful Public

   An experimental library for metaprogramming with algebraic effects and handlers

   Python 46 4

3. dynestyx dynestyx Public

   An extension of NumPyro for first-class support of dynamical systems.

   Python 43 9

4. lean.py lean.py Public

   Easy bindings between Lean and Python.

   Python 34 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