Pinned Repositories
camlp5
Preprocessor / Pretty Printer for OCaml
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.
deklinacja
eliom
Framework for programming web and mobile applications in OCaml.
eliom_of_md
Parser and Lexer for Markdown (md) with Eliom support (ast to dom nodes, pretty-print, etc..)
gencot
Tool for partial translation from C to Cogent
icpc
Repsitory for the ICPC programming contest at Middlesex University.
maw
Megagames Administration Website
opaline
OPAm Light INstaller Engine
sandbox
jaapb's Repositories
jaapb/opaline
OPAm Light INstaller Engine
jaapb/deklinacja
jaapb/maw
Megagames Administration Website
jaapb/sandbox
jaapb/camlp5
Preprocessor / Pretty Printer for OCaml
jaapb/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.
jaapb/eliom
Framework for programming web and mobile applications in OCaml.
jaapb/eliom_of_md
Parser and Lexer for Markdown (md) with Eliom support (ast to dom nodes, pretty-print, etc..)
jaapb/gencot
Tool for partial translation from C to Cogent
jaapb/icpc
Repsitory for the ICPC programming contest at Middlesex University.
jaapb/jaapb.github.io
jaapb/js-build-tools
jaapb/js_of_ocaml
Compiler from OCaml to Javascript.
jaapb/math-comp
Mathematical Components
jaapb/MeTAGS
jaapb/moab
The Middlesex Open-Source Administration Bidule
jaapb/ocaml
The core OCaml system: compilers, runtime system, base libraries
jaapb/ocaml-expat
The official repository of the ocaml-expat library
jaapb/ocsigenserver
Web server in OCaml.
jaapb/ocsimore
A wiki in Eliom.
jaapb/package-theory
jaapb/ppx_core
Standard library for ppx rewriters
jaapb/ppx_expect
Cram like framework for OCaml
jaapb/pra
jaapb/result
Compat result type
jaapb/shopping-list
This is a shopping list.
jaapb/spectrwm
A small dynamic tiling window manager for X11.
jaapb/sqlite3-ocaml
OCaml bindings to the SQLite3 database
jaapb/tyxml
Build valid HTML and SVG documents
jaapb/unison
Unison file synchronizer