bclement-ocp Goto Github PK

ae_decysif_presentation

alt-ergo

OCamlPro public development repository for Alt-Ergo

benchpress

Testing and benchmarking tool for logic-related programs.

brr

Browser programming toolkit for OCaml

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

dolmen

An OCaml library providing clean and flexible parser for languages used in automated deduction

flambda-backend

The Flambda backend project for OCaml

home-manager

Manage a user environment using Nix [maintainer=@rycee]

nixpkgs

Nix Packages collection & NixOS

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-caqti

Cooperative-threaded access to relational data

ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

ocplib-simplex

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

opam-nix

Turn opam-based OCaml projects into Nix derivations

opam-nix-dune-build-info

opam-repository

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

ozulip

OCaml bindings to Zulip API

petrol

Petrol's an OCaml SQL API made to go FAST.

stores

An OCaml library that offers several implementations of (in-memory) stores.

superbol-studio-oss

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