Jonathan Laurent's repositories
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.
copilot-kind
A package for verifying safety properties of Copilot programs using model-checking
kappa-counterfactuals
Counterfactual reasoning in Kappa
Yahtzee.jl
Solving the game of Yahtzee using dynamic programming
DifferentialDynamicProgramming.jl
A package for solving Differential Dynamic Programming and trajectory optimization problems.
Gobblet.jl
Julia implementation and resolution of the famous Tic-Tac-Toe variant.
ocaml-snippets
Some OCaml code snippets
personal-website
My Hakyll-based personal website
python-libgen
Utilities for building Python libraries that call OCaml code.
atom-julia-client
Juno a good IDE?
CuArrays.jl
A Curious Cumulation of CUDA Cuisine
Documenter.jl
A documentation generator for Julia.
natural_number_game
Building the natural numbers in Lean.
ocaml-torch
OCaml bindings for PyTorch
ppx_bin_prot
Generation of bin_prot readers and writers from types
ppx_python
[@@deriving] plugin to generate Python conversion functions
pytorch_scatter
PyTorch Extension Library of Optimized Scatter Operations
ReinforcementLearning.jl
A reinforcement learning package for Julia
variants-workaround
Workaround for library variants with Dune
www.julialang.org
Julia Project website