Beast code in Giters

Filip Sieczkowski's repositories

System-T

Formalisation of Goedel's System T in Coq

Language:Coq15 30

smbt

SMackage Build Tool

Language:Standard MLNOASSERTION8 4 1

Refocusing

A formalisation of the refocusing transformation by Danvy et al. in Coq

Language:Coq3 20

ssml

Sub-standard ML

Language:Standard ML3 20

esml

Experiments with ML-like languages

Language:Standard ML2 30

uri

URI parsing, printing and quoting for SML

Language:Standard ML2 20

cmlib

A basic library of algorithms and data structures (a la NJlib)

Language:Standard MLMIT1 20

intuitionistic-logic

A Coq formalisation of soundness and completeness of intuitionistic propositional logic

Language:Coq1 10

dblib

Language:CoqGPL-3.0020

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

020

Hydrogen

Type inference playground.

Language:TeXMIT010

fsieczkowski.github.io

Language:HTML000

icfp2013

ICFP Contest 2013 — Filip Sieczkowski

Language:HaskellMIT080

MMap

MMap coq project OPLSS

Language:Coq020

smlpq

MLton bindings for PostgreSQL

Language:Standard ML020

spls-series.github.io

the website for SPLS announcements

000

sxml

XML representation, parsing and more for SML

Language:Standard ML020