lindig/quest
A tool for testing C compilers automatically
Developer Profile
lindig
Discovered public repositories for lindig in the GitHub catalog.
lindig/ocaml-annot-1
OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)
lindig/colibri-ml
Formal Concept Analysis in OCaml
lindig/namesort
Command-line tool to sort names by last name. Implemented in OCaml.
lindig/ocaml-hyphenate
OCaml module for the hyphenation of words based on TeX hyphenation patterns
lindig/ocaml-linebreak
Module for breaking words into lines using an optimal algorithm.
lindig/strsim
strsim - compare strings for similarity
lindig/lua-ml
An embeddable Lua 2.5 interpreter implemented in OCaml
lindig/lipsum
A Literate Programming Tool inspired by NoWeb, implemented in OCaml