rbonichon

smtpp

Preprocessors and analyzers for SMT-LIB

portugol

A new interpreter for Portugol

skillsmatter_20200625

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

asi36-ctf

binsec.github.io

www presence for the BINSEC binary-level analysis open-source platform

bisect_ppx

Code coverage for OCaml and ReScript

camlit

clikraken

Command-line client for the Kraken exchange

elegant-emacs

A very minimal but elegant emacs (I think)

emacs-overlay

Bleeding edge emacs overlay [maintainer=@adisbladis]

intro-ocaml

A (partial) introduction to OCaml

mina-taxes

A repository for exporting data from MinaExplorer for popular tax software

mlpost

nixflk

highly structured NixOS configuration database

nixpkgs

Nix Packages collection

ocaml

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

ocaml-gen

This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.

opam-repository

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

opam2nix

Generate nix expressions from opam packages

optimism

Optimism is Ethereum, scaled.

polybar-themes

A huge collection of polybar themes with different styles, colors and variants.

ppx_fields_conv

Generation of accessor and iteration functions for ocaml records

pywal

🎨 Generate and change color-schemes on the fly.

random-generator

A small OCaml library to randomly generate values

rbonichon.github.io

smt-inverse-benchmark

tezos-packaging

Various forms of Tezos software distribution for Linux and macOS.

transient-showcase

Example forms for transient UI's in Emacs

utop

Universal toplevel for OCaml