lefessan Goto Github PK

alt-ergo

OCamlPro public development repository for Alt-Ergo

autofonce

A modern runner for GNU Autoconf testsuites in m4

biblio-irill

bibliography for Irill

camlp4

Camlp4 tool

cudf

devex

digodoc

Dig into an opam switch for doc

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.)

dune

A composable build system for OCaml.

eth_bloom

Ethereum's bloom filter implementation in elixir

ez-api

Easy API library over ocplib-resto/ocplib-directory

ez_cmdliner

Easy interface over Cmdliner à la Arg.parse with sub-commands

ez_config

Library to read/write configuration files in OCaml syntax

ez_file

Library with helpers to manipulate files, read/write their content, search directories, etc.

ez_subst

Simple substitution module for OCaml

ez_toml

A library to parse and print TOML files

freeton-ocaml-sdk

freeton-ocp-contracts

freeton_ocaml_runtime

A pure OCaml implementation of some Free TON types and primitives

freeton_wallet

The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.

geneweb

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

gnucobol

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

js_of_ocaml

Compiler from OCaml to Javascript.

learn-ocaml

A Web Application for Learning OCaml

liquidity