Pinned Loading

1. AlphaZero.jl AlphaZero.jl Public

   A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.

   Julia 1.3k 147

2. delphyne delphyne Public

   A framework for building reliable and modular LLM-enabled applications.

   Python 18 4

3. KaTie KaTie Public

   A unified language for querying causal patterns in simulation traces of Kappa models

   OCaml 6 1

4. kappa-counterfactuals kappa-counterfactuals Public

   Counterfactual reasoning in Kappa

   OCaml 2 4

5. copilot-kind copilot-kind Public

   A package for verifying safety properties of Copilot programs using model-checking

   Haskell 6 3

6. python-libgen python-libgen Public

   Utilities for building Python libraries that call OCaml code.

   OCaml