Jonathan Laurent

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

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

pyml_example. An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.

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

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

KaFlow. Causal Analysis for Kappa

MrJack.jl. An AI for the board game "Mr. Jack"

minicpp. A simple optimizing compiler for a subset of C++

kappa-stories. A program to generate statically kappa stories.

jonathan-laurent.github.io. My personal website

storylab. A basic implementation of causal analysis on simple rectangular systems

kappa-counterfactuals. Counterfactual reasoning in Kappa

Yahtzee.jl. Solving the game of Yahtzee using dynamic programming

lisa. A simple static analyzer

OCaml.jl. Package to make OCaml libraries available in Julia

ocaml-snippets. Some OCaml code snippets

Gobblet.jl. Julia implementation and resolution of the famous Tic-Tac-Toe variant.