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