Alexandre Moine
nobrakal
Languages
Loading contributions...
Top Repositories
Identifying similar OCaml codes
Bring fusion to everyone
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
An alga tutorial
A bit of coq-proven alga
Simple game written in Haskell using curses
Repositories
28All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
TypeDis: A Type System for Disentanglement
No description provided.
A bit of coq-proven alga
Bring fusion to everyone
Identifying similar OCaml codes
No description provided.
An Iris instance for establishing heap space bounds of concurrent programs in the presence of garbage collection.
Simple game written in Haskell using curses
No description provided.
An alga tutorial
A Web Application for Learning OCaml
Main public package repository for opam, the source package manager of OCaml.
Write your tests in comments
Système de chat décentralisé
No description provided.
Lint ligo
The core OCaml system: compilers, runtime system, base libraries
No description provided.
No description provided.
PG'OCaml provides an interface to PostgreSQL databases for OCaml applications. It uses Camlp4 to extend the OCaml syntax, enabling one to directly embed SQL statements inside the OCaml code.
Bench a PR for an Haskell graph library
No description provided.
A Functional Graph Library for Haskell
A hashing-based graph implementation in Haskell
Algebraic graphs
French poject for an opensource role playing world
French poject for an opensource role playing world, covering different periods