yallop Goto Github PK

2048-tutorial

acmart-problem

advanced-fp-repo

OPAM repository for the Advanced Functional Programming course

agda-fragment

Algebraic proof discovery in Agda

alcotest

A lightweight and colourful test framework

angstrom

Parser combinator library built for speed and memory efficiency

astring

Alternative String module for OCaml

atdgen

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

awesome-ocaml

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

benchmark-osx

Benchmarks for various system operations in OS X with Swift, Go, C, and OCaml

bisect_ppx

Bisect Code coverage via PPX.

cambridge-iccs.github.io

caml-inspect

Inspection of internal value representations and the object graph

camlp4

Camlp4 tool

canopy-data

canopy data

causal-commutative-arrows-revisited

Causal commutative arrows revisited: an optimizing arrow library

cc_cl_cam_ac_uk

OCaml code for Compiler Construction course at University of Cambridge

check-markdown-urls

ci-testing

cl-meters

code-snippets

miscellanea

compiler-hacking

Wiki for compiler hacking sessions

conf-gmp

core

Jane Street Capital's standard library overlay

core_bench

Micro-benchmarking library for OCaml

core_kernel

Jane Street's standard library overlay (kernel)

counterexamples

Counterexamples in Type Systems

cufp.org

Implementation of the cufp.org website.

datakit

Connect processes into powerful data pipelines with a simple git-like filesystem interface

decompress

Pure OCaml implementation of Zlib.