gasche Goto Github PK

0install

the core 0install package

acmart

ACM consolidated LaTeX styles

angstrom

Parser combinators built for speed and memory efficiency

ant

ant is not TeX

articheck

asak

Identifying similar OCaml codes

assemblage

A collection of tools to manage the configuration of OCaml projects

atdgen

Generates optimized boilerplate OCaml code for JSON and Biniou IO from type definitions (official repository)

aurochs

Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notation (a .peg file) and produces bytecode (a .nog file) for a stack automaton. This bytecode is later interpreted on the input to parse using a C library. Bindings are given for Ocaml, Java and Exascript.

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

batsh

A language that compiles to Bash and Windows Batch

batteries-included

Batteries Included project

bisect

a mirror of http://bisect.x9c.fr/ converted using purcell/darcs-to-git

bisect_ppx

Code coverage for OCaml.

bitoduc.fr

A website about french words for computer concepts.

bitstring

OCaml Bitstring - bitstring matching for OCaml

bytes-compat

backward-compatibility package for the standard Bytes module of 4.02

bytes-compat-dummy

dummy forward-compatibility package for the standard Bytes module

camlboot

Experiment on how to bootstrap the OCaml compiler

camlp4

Camlp4 tool

camomile

A Unicode library for OCaml

canopy

A git-blogging unikernel written using MirageOS

ccache

ccache – a fast compiler cache

cccv

Finds copy/pastes in a (git) diff

choice

Choice operator in OCaml, providing a backtracking monad

comicgen

Comic generation sandbox

commonjs_of_ocaml

Import and export CommonJS modules in js_of_ocaml

compdata

Haskell library implementing "Data Types a la Carte"

compiler-benchmark

Benchmarks compilation speeds of different combinations of languages and compilers.

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.