There are no reviews yet. Be the first to send feedback to the community and the maintainers!
AlphaZero.jl
A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.pyml_example
An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.KaFlow
Causal Analysis for Kappacopilot-kind
A package for verifying safety properties of Copilot programs using model-checkingKaTie
A unified language for querying causal patterns in simulation traces of Kappa modelskappa-stories
A program to generate statically kappa stories.Yahtzee.jl
Solving the game of Yahtzee using dynamic programmingminicpp
A simple optimizing compiler for a subset of C++storylab
A basic implementation of causal analysis on simple rectangular systemsMrJack.jl
An AI for the board game "Mr. Jack"lisa
A simple static analyzerpersonal-website
My Hakyll-based personal websiteOCaml.jl
Package to make OCaml libraries available in JuliaGobblet.jl
Julia implementation and resolution of the famous Tic-Tac-Toe variant.ocaml-snippets
Some OCaml code snippetsLove Open Source and this site? Check out how you can help us