jonathan-laurent Goto Github PK

15740-hw2

alphazero.jl

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

atom-julia-client

Juno a good IDE?

awale

The game of Awale in OCaml

bin_prot

Binary protocol generator

bngl-to-kappa

A tool to translate rule based models written in the BNGL language to Kappa.

copilot-kind

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

cuarrays.jl

A Curious Cumulation of CUDA Cuisine

differentialdynamicprogramming.jl

A package for solving Differential Dynamic Programming and trajectory optimization problems.

documenter.jl

A documentation generator for Julia.

gobblet.jl

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

haskanything

Hask Anything! is a website aimed at collecting and organizing the collective knowledge of the Haskell community.

kaflow

Causal Analysis for Kappa

kappa-counterfactuals

Counterfactual reasoning in Kappa

kappa-counterfactuals-paper

IJCAI Paper on Counterfactual Resimulation

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++

mrjack.jl

An AI for the board game "Mr. Jack"

natural_number_game

Building the natural numbers in Lean.

ocaml-snippets

Some OCaml code snippets

ocaml-torch

OCaml bindings for PyTorch

ocaml.jl

Package to make OCaml libraries available in Julia

personal-website

My Hakyll-based personal website

ppx_bin_prot

Generation of bin_prot readers and writers from types

ppx_python

[@@deriving] plugin to generate Python conversion functions

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.

pythonlib

A library to help writing wrappers around ocaml code for python