Pinned Loading

1. jtassarotti/ProbCompCert jtassarotti/ProbCompCert Public

   Forked from AbsInt/CompCert

   Verified compilation for probabilistic programs

   Coq 1 1

2. probtorch/combinators probtorch/combinators Public

   Inference Combinators for Probabilistic Torch

   Jupyter Notebook 7 1

3. hasktorch/hasktorch hasktorch/hasktorch Public

   Tensors and neural networks in Haskell

   Haskell 1.2k 121

4. sentenai/reinforce sentenai/reinforce Public

   Reinforcement learning in haskell

   Haskell 45 12

5. openai/gym-http-api openai/gym-http-api Public

   API to access OpenAI Gym from other languages via HTTP

   Python 296 137