Pinned Loading

1. UPIX UPIX Public

   Universal Programmable Inference in JAX

   Python 1 1

2. lasapp lasapp Public

   Forked from lasapp/lasapp

   Language Agnostic Static Analysis of Probabilistic Programs

   Python

3. PPLStaticFactor PPLStaticFactor Public

   Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops

   Julia 1

4. Connect4-Strong-Solver Connect4-Strong-Solver Public

   C implementation to symbolically solve Connect4 game for given board size with binary decision diagrams.

   C 6 2

5. prophet_tb prophet_tb Public

   6-men DTM chess endgame tablebase

   HTML