Pinned Repositories
infer
A static analyzer for Java, C, C++, and Objective-C
infer
A static analyzer for Java, C and Objective-C
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
QuICDoc
A collaborative concurrent distributed text editor in your web browser.
QuICDocApp
A collaborative concurrent distributed text editor in your Android device.
tondeuse
Text-based lawn mowing.
jvillard's Repositories
jvillard/tondeuse
Text-based lawn mowing.
jvillard/infer
A static analyzer for Java, C and Objective-C
jvillard/QuICDoc
A collaborative concurrent distributed text editor in your web browser.
jvillard/QuICDocApp
A collaborative concurrent distributed text editor in your Android device.
jvillard/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
jvillard/advent21
jvillard/adventofcode2018
:christmas_tree: Code for advent of code 2018 :santa:
jvillard/camlzip
Reading and writing zip and gzip files from OCaml
jvillard/corestar
coreStar is a symbolic execution engine for analysis and verification with separation logic
jvillard/dune
A composable build system for OCaml
jvillard/homebrew
:beer: The missing package manager for OS X.
jvillard/homebrew-core
:beers: Core formulae for the Homebrew package manager
jvillard/llStar
Separation logic for bitcode
jvillard/ocaml
The core OCaml system: compilers, runtime system, base libraries
jvillard/ocamldot
Parsing and printing graphviz files in OCaml
jvillard/ocamlformat
Auto-formatter for OCaml code
jvillard/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
jvillard/reason-1
A meta language toolchain to build systems rapidly
jvillard/refl
OCaml PPX deriver for reflection
jvillard/tdigest
OCaml implementation of the T-Digest algorithm
jvillard/xboxdrv-saitek-rumble
Set of options for xboxdrv to emulate an Xbox controller from a "Saitek Rumble" controller