Pinned Repositories
cmlib
A basic library of algorithms and data structures (a la NJlib)
dblib
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
esml
Experiments with ML-like languages
intuitionistic-logic
A Coq formalisation of soundness and completeness of intuitionistic propositional logic
Refocusing
A formalisation of the refocusing transformation by Danvy et al. in Coq
smbt
SMackage Build Tool
ssml
Sub-standard ML
System-T
Formalisation of Goedel's System T in Coq
uri
URI parsing, printing and quoting for SML
fsieczkowski's Repositories
fsieczkowski/System-T
Formalisation of Goedel's System T in Coq
fsieczkowski/smbt
SMackage Build Tool
fsieczkowski/Refocusing
A formalisation of the refocusing transformation by Danvy et al. in Coq
fsieczkowski/ssml
Sub-standard ML
fsieczkowski/esml
Experiments with ML-like languages
fsieczkowski/uri
URI parsing, printing and quoting for SML
fsieczkowski/cmlib
A basic library of algorithms and data structures (a la NJlib)
fsieczkowski/intuitionistic-logic
A Coq formalisation of soundness and completeness of intuitionistic propositional logic
fsieczkowski/dblib
fsieczkowski/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
fsieczkowski/Hydrogen
Type inference playground.
fsieczkowski/fsieczkowski.github.io
fsieczkowski/icfp2013
ICFP Contest 2013 — Filip Sieczkowski
fsieczkowski/MMap
MMap coq project OPLSS
fsieczkowski/smlpq
MLton bindings for PostgreSQL
fsieczkowski/spls-series.github.io
the website for SPLS announcements
fsieczkowski/sxml
XML representation, parsing and more for SML