fsieczkowski/dblib
Public repository.
Developer Profile
fsieczkowski
Discovered public repositories for fsieczkowski in the GitHub catalog.
fsieczkowski/MMap
MMap coq project OPLSS
fsieczkowski/esml
Experiments with ML-like languages
fsieczkowski/icfp2013
ICFP Contest 2013 — Filip Sieczkowski
fsieczkowski/sxml
XML representation, parsing and more for SML
fsieczkowski/smlpq
MLton bindings for PostgreSQL
fsieczkowski/smbt
SMackage Build Tool
fsieczkowski/ssml
Sub-standard ML
fsieczkowski/uri
URI parsing, printing and quoting for SML
fsieczkowski/cmlib
A basic library of algorithms and data structures (a la NJlib)
fsieczkowski/System-T
Formalisation of Goedel's System T in Coq
fsieczkowski/Refocusing
A formalisation of the refocusing transformation by Danvy et al. in Coq