Pinned Repositories
AlphaZero.jl
A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.
copilot-kind
A package for verifying safety properties of Copilot programs using model-checking
KaFlow
Causal Analysis for Kappa
kappa-counterfactuals
Counterfactual reasoning in Kappa
kappa-stories
A program to generate statically kappa stories.
KaTie
A unified language for querying causal patterns in simulation traces of Kappa models
lisa
A simple static analyzer
minicpp
A simple optimizing compiler for a subset of C++
pyml_example
An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.
python-libgen
Utilities for building Python libraries that call OCaml code.
jonathan-laurent's Repositories
jonathan-laurent/AlphaZero.jl
A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.
jonathan-laurent/pyml_example
An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.
jonathan-laurent/KaFlow
Causal Analysis for Kappa
jonathan-laurent/copilot-kind
A package for verifying safety properties of Copilot programs using model-checking
jonathan-laurent/KaTie
A unified language for querying causal patterns in simulation traces of Kappa models
jonathan-laurent/kappa-counterfactuals
Counterfactual reasoning in Kappa
jonathan-laurent/MrJack.jl
An AI for the board game "Mr. Jack"
jonathan-laurent/Yahtzee.jl
Solving the game of Yahtzee using dynamic programming
jonathan-laurent/DifferentialDynamicProgramming.jl
A package for solving Differential Dynamic Programming and trajectory optimization problems.
jonathan-laurent/Gobblet.jl
Julia implementation and resolution of the famous Tic-Tac-Toe variant.
jonathan-laurent/ocaml-snippets
Some OCaml code snippets
jonathan-laurent/OCaml.jl
Package to make OCaml libraries available in Julia
jonathan-laurent/personal-website
My Hakyll-based personal website
jonathan-laurent/15740-hw2
jonathan-laurent/python-libgen
Utilities for building Python libraries that call OCaml code.
jonathan-laurent/TQL-Paper
jonathan-laurent/atom-julia-client
Juno a good IDE?
jonathan-laurent/awale
The game of Awale in OCaml
jonathan-laurent/bin_prot
Binary protocol generator
jonathan-laurent/CuArrays.jl
A Curious Cumulation of CUDA Cuisine
jonathan-laurent/Documenter.jl
A documentation generator for Julia.
jonathan-laurent/natural_number_game
Building the natural numbers in Lean.
jonathan-laurent/ocaml-torch
OCaml bindings for PyTorch
jonathan-laurent/ppx_bin_prot
Generation of bin_prot readers and writers from types
jonathan-laurent/ppx_python
[@@deriving] plugin to generate Python conversion functions
jonathan-laurent/pythonlib
A library to help writing wrappers around ocaml code for python
jonathan-laurent/pytorch_scatter
PyTorch Extension Library of Optimized Scatter Operations
jonathan-laurent/ReinforcementLearning.jl
A reinforcement learning package for Julia
jonathan-laurent/variants-workaround
Workaround for library variants with Dune
jonathan-laurent/www.julialang.org
Julia Project website