jvillard

tondeuse

Text-based lawn mowing.

infer

A static analyzer for Java, C and Objective-C

QuICDoc

A collaborative concurrent distributed text editor in your web browser.

QuICDocApp

A collaborative concurrent distributed text editor in your Android device.

opam-repository

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

advent21

adventofcode2018

:christmas_tree: Code for advent of code 2018 :santa:

camlzip

Reading and writing zip and gzip files from OCaml

corestar

coreStar is a symbolic execution engine for analysis and verification with separation logic

dune

A composable build system for OCaml

homebrew

:beer: The missing package manager for OS X.

homebrew-core

:beers: Core formulae for the Homebrew package manager

llStar

Separation logic for bitcode

ocaml

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

ocamldot

Parsing and printing graphviz files in OCaml

ocamlformat

Auto-formatter for OCaml code

opam

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

reason-1

A meta language toolchain to build systems rapidly

refl

OCaml PPX deriver for reflection

tdigest

OCaml implementation of the T-Digest algorithm

xboxdrv-saitek-rumble

Set of options for xboxdrv to emulate an Xbox controller from a "Saitek Rumble" controller