Christian Lindig

icon indicating a website link http://lindig.github.io

icon company Citrix icon location Cambridge, UK icon location Software Engineer at citrix.com. Previously: testfabrik.com, dagstuhl.de, st.cs.uni-sb.de, seas.harvard.edu

Results 5 repositories owned by Christian Lindig

hello

43
Stars
8
Forks
Watchers

A minimal OCaml project

verified publisher icon lindig

lipsum

33
Stars
3
Forks
Watchers

A Literate Programming Tool inspired by NoWeb, implemented in OCaml

verified publisher icon lindig

lua-ml

118
Stars
8
Forks
Watchers

An embeddable Lua 2.5 interpreter implemented in OCaml

verified publisher icon lindig

ocaml-style

101
Stars
6
Forks
Watchers

A style guide for OCaml

verified publisher icon lindig

quest

19
Stars
1
Forks
Watchers

A tool for testing C compilers automatically

verified publisher icon lindig