Popular repositories Loading

1. System-T System-T Public

   Formalisation of Goedel's System T in Coq

   Coq 15 2

2. smbt smbt Public

   SMackage Build Tool

   Standard ML 8 4

3. Refocusing Refocusing Public

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

   Coq 3 2

4. ssml ssml Public

   Forked from gian/ssml

   Sub-standard ML

   Standard ML 3

5. uri uri Public

   URI parsing, printing and quoting for SML

   Standard ML 2 1

6. esml esml Public

   Experiments with ML-like languages

   Standard ML 2