Pinned Repositories
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
bclement-ocp's Repositories
bclement-ocp/ae_decysif_presentation
bclement-ocp/alt-ergo
OCamlPro public development repository for Alt-Ergo
bclement-ocp/benchpress
Testing and benchmarking tool for logic-related programs.
bclement-ocp/brr
Browser programming toolkit for OCaml
bclement-ocp/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
bclement-ocp/dolmen
An OCaml library providing clean and flexible parser for languages used in automated deduction
bclement-ocp/flambda-backend
The Flambda backend project for OCaml
bclement-ocp/home-manager
Manage a user environment using Nix [maintainer=@rycee]
bclement-ocp/nixpkgs
Nix Packages collection & NixOS
bclement-ocp/ocaml
The core OCaml system: compilers, runtime system, base libraries
bclement-ocp/ocaml-caqti
Cooperative-threaded access to relational data
bclement-ocp/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
bclement-ocp/ocplib-simplex
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
bclement-ocp/opam-nix
Turn opam-based OCaml projects into Nix derivations
bclement-ocp/opam-nix-dune-build-info
bclement-ocp/opam-repository
Main public package repository for opam, the source package manager of OCaml.
bclement-ocp/ozulip
OCaml bindings to Zulip API
bclement-ocp/petrol
Petrol's an OCaml SQL API made to go FAST.
bclement-ocp/stores
An OCaml library that offers several implementations of (in-memory) stores.
bclement-ocp/superbol-studio-oss
Open-Source part of the SuperBOL Studio, including the Vscode mode with LSP