Jonathan Laurent (@jonathan-laurent)
github

jonathan-laurent

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,271
  • Global Rank 23,587 (Top 0.9 %)
  • Followers 119
  • Following 1
  • Registered over 10 years ago
  • Most used languages
    OCaml
         50.0 %
    Julia
         31.3 %
    Haskell
         12.5 %
    SCSS     6.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 7,370
  • Country Ranking
    Julia
         11
    OCaml
         151
    Haskell
         995
    SCSS     2,290

Top repositories

1

AlphaZero.jl

A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.
Julia
1,220
star
2

pyml_example

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

KaFlow

Causal Analysis for Kappa
OCaml
6
star
4

copilot-kind

A package for verifying safety properties of Copilot programs using model-checking
Haskell
5
star
5

KaTie

A unified language for querying causal patterns in simulation traces of Kappa models
OCaml
4
star
6

kappa-stories

A program to generate statically kappa stories.
OCaml
3
star
7

Yahtzee.jl

Solving the game of Yahtzee using dynamic programming
Julia
2
star
8

kappa-counterfactuals

Counterfactual reasoning in Kappa
OCaml
2
star
9

minicpp

A simple optimizing compiler for a subset of C++
OCaml
2
star
10

storylab

A basic implementation of causal analysis on simple rectangular systems
Haskell
2
star
11

MrJack.jl

An AI for the board game "Mr. Jack"
Julia
2
star
12

lisa

A simple static analyzer
OCaml
2
star
13

personal-website

My Hakyll-based personal website
SCSS
1
star
14

OCaml.jl

Package to make OCaml libraries available in Julia
Julia
1
star
15

Gobblet.jl

Julia implementation and resolution of the famous Tic-Tac-Toe variant.
Julia
1
star
16

ocaml-snippets

Some OCaml code snippets
OCaml
1
star