Mohamed Iguernlala's repositories
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
psmt2-frontend
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
alt-ergo
OCamlPro public development repository for Alt-Ergo
bisect_ppx
Code coverage for OCaml and ReScript
ez-api
Easy API library over ocplib-resto/ocplib-directory
liquidity
A high-level language for Tezos with OCaml syntax, with a decompiler from Michelson
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocplib-json-typed
Libraries for reliable manipulation JSON objects.
ocplib-jsutils
Some useful libraries to work with `js_of_ocaml`
skeleton
Skeleton of web project with REST API in OCaml
stupid-precommit-hook
A very simple pre-commit hook for OCaml code to detect trailing whitespaces, too long lines ...
tezos-baking
Tools to ease a bakers life
typerex-lint
Tools to manipulate source files (linting, patching, etc.)