ghuysmans Goto Github PK

algebra

Definitions for common algebraic structures

allocine

Bindings pour Allociné

anaphore

Simple OCaml documentation tool

annotations

Printable, pure CSS annotations

api-cohttp-lwt

js_of_ocaml-friendly HTTP API client library

apple-tape

Apple tape decoder

aruco-jsoo

Bindings for js-aruco2

asgitowsgi

Hackish ASGI application wrapper. See https://github.com/abersheeran/a2wsgi for a production-grade alternative.

autogramm

PLY grammar visualization tool

automata

Generic (but simplified) FSA implementation, with actions and simple combinators

aws-pgsql

Cloudformation script & Dockerfile for painless use of read replicas

bheap

OCaml binary heap implementation by Jean-Christophe Filliatre

blaze

blog.danny-willems.be

Articles from my blog

bootalog

Datalog implementation in OCaml

bsp

Java implementation of Binary Space Partitions

caml2csl

Caml Light to Caml Special Light (almost OCaml) translator, resurrected from INRIA archives

canswer

OCaml library for Consistent Query Rewriting

cardinal

Solver for Cardinal Chains puzzles

ccwg-archive

Archiving tools for https://codingcompetitions.withgoogle.com/

chouinard2006

colombe

Implementation of SMTP protocols in OCaml

compilation

Compilation

compilertemplate

Compiler template with lexer, parser and AST

complete

Autocomplete based on a Menhir grammar

compta

Simple accountancy learning tool. For real bookkeeping, have a look at http://ledger-cli.org/

conformist

Schema definition and validation with support for decoding to bridge the gap between runtime types and static types.

crossword

Crossword compiler (SQL engine stress test)

cuekeeper

Browser-based GTD (TODO list) system (no server needed)

datalog

DB query conversion tool