stevendeo Goto Github PK

alt-ergo

OCamlPro public development repository for Alt-Ergo

awesome-solidity

:small_blue_diamond: A curated list of awesome Solidity resources, libraries, tools and more

benchtop

A web interface for Benchpress

bitpack_serializer

This library provides functions for encoding efficiently simple OCaml data.

cafe

A prototype of model-checker

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.

ez-api

Easy API library over ocplib-resto/ocplib-directory

ez-pgocaml

ez_cmdliner

Easy Cmdliner

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.

ezjs

Some useful libraries to work with `js_of_ocaml`

ezjs_timeline

OCaml bindings for TimelineJS

freeton_ocaml_sdk

Tooling for FreeTON in OCaml

freeton_wallet

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

gedcom-anonymizer

liquidity

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

ocaml-github

GitHub APIv3 OCaml bindings

ocaml-solidity

Ocaml-solidity provides a Solidity parser and typechecker

ocp-opam-repository

A repository for OCamlPro packages waiting for inclusion in opam-repository

ocplib-json-typed

Libraries for reliable manipulation JSON objects.

ocplib-simplex

A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities

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-repository

Main public package repository for OPAM, the source package manager of OCaml.

pilat

Invariant generator for polynomial loops

puzzle_humain

Un algo de génération de puzzle

superbol-studio-oss

Open-Source part of the SuperBOL Studio, including the Vscode mode with LSP

test-cgl