Pinned Repositories
clangml
OCaml bindings for clang
dune
A composable build system for OCaml.
elpi
Embeddable Lambda Prolog Interpreter
flambda-backend
The Flambda backend project for OCaml
flambda2-opam
OPAM packages etc. for building with the Flambda 2 compiler
obytelib
OCaml bytecode library tools
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocaml-bls12-381
Fast BLS12-381 implementation in OCaml
ocamlbench-repo
An opam 2.0 repository holding the definition for benches on bench.flambda.ocamlpro.com
vdW_grid_bench
Van der Waals 3D grid initialization benchmark
lthls's Repositories
lthls/vdW_grid_bench
Van der Waals 3D grid initialization benchmark
lthls/clangml
OCaml bindings for clang
lthls/dune
A composable build system for OCaml.
lthls/elpi
Embeddable Lambda Prolog Interpreter
lthls/flambda-backend
The Flambda backend project for OCaml
lthls/flambda2-opam
OPAM packages etc. for building with the Flambda 2 compiler
lthls/obytelib
OCaml bytecode library tools
lthls/ocaml
The core OCaml system: compilers, runtime system, base libraries
lthls/ocaml-bls12-381
Fast BLS12-381 implementation in OCaml
lthls/ocamlbench-repo
An opam 2.0 repository holding the definition for benches on bench.flambda.ocamlpro.com
lthls/ocp-cplugins
Collection of plugins for CAML_CPLUGINS
lthls/ocp-index
Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.
lthls/opam-file-format
Parser and printer for the opam file syntax
lthls/RFCs
Design discussions about the OCaml language
lthls/SecurOCaml
Repository of the SecurOCaml Project
lthls/stepmania
Advanced rhythm game for Windows, Linux and OS X. Designed for both home and arcade use.
lthls/typerex-lint
Tools to manipulate source files (linting, patching, etc.)
lthls/warzone2100
Warzone 2100 - a free and open source real time strategy game.