Fabrice Le Fessant's repositories
opam-repository
Package descriptions for OPAM
alt-ergo
OCamlPro public development repository for Alt-Ergo
autofonce
A modern runner for GNU Autoconf testsuites in m4
drom
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
drom-share
Share directory for `drom` (skeletons, licenses, etc.)
ez-api
Easy API library over ocplib-resto/ocplib-directory
ez_cmdliner
Easy interface over Cmdliner Ă la Arg.parse with sub-commands
ez_subst
Simple substitution module for OCaml
ez_toml
A library to parse and print TOML files
freeton_wallet
The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.
gnucobol-contrib
GIT Mirror of the GnuCOBOL contributions tree
gnucobol-docs
External Documentation of the GnuCOBOL Project
gnucobol-docs2
A copy of the SVN code/external-doc of GnuCOBOL on Github
header-check
The header-check tool checks all source headers in a project using checksums
learn-ocaml
A Web Application for Learning OCaml
niagara-lang
Compiler for the Niagara language
ocaml-ancient
trial at reviving the ancient library
ocaml-canvas
The OCaml-Canvas library provides a portable Canvas for OCaml
ocaml-solidity
Ocaml-solidity provides a Solidity parser and typechecker
ocamlup
Easy installation tool for OCaml in the spirit of rustup (status: Work In Progress)
ocp-cmtdeps
Show dependencies between cmt files in a project
ocplib_stuff
This library contains some basic stuff that is used in some OCP libraries and applications. Most of them are probably available in other extensions of the standard libraries (extlib, core, etc.), but we are used to these ones.
opam-bin
Binary packages for OPAM with local and remote repositories
opam-cross-windows
An OCaml cross-toolchain for Windows and several useful libraries
owi
OCaml WebAssembly Interpreter
strace
strace is a diagnostic, debugging and instructional userspace utility for Linux
superbol-studio-oss
A VSCode extension for COBOL