Pinned Loading

1. TinyPPL.jl TinyPPL.jl Public

   Educational implementation of a probabilistic programming language in Julia

   Julia 1

2. Connect4-Strong-Solver Connect4-Strong-Solver Public

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

   C

3. lasapp lasapp Public

   Forked from lasapp/lasapp

   Language Agnostic Static Analysis of Probabilistic Programs

   Python

4. UPIX UPIX Public

   Universal Programmable Inference in JAX

   Python