Pinned Loading

1. AlphaZero.jl AlphaZero.jl Public

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

   Julia 1.2k 140

2. KaTie KaTie Public

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

   OCaml 4 1

3. KaFlow KaFlow Public

   Causal Analysis for Kappa

   OCaml 6 3

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 5 3

6. python-libgen python-libgen Public

   Utilities for building Python libraries that call OCaml code.

   OCaml