Popular repositories Loading

1. lambda-y-presentation lambda-y-presentation Public

   A presentation on Y combinator in λ-calculus

   HTML 1

2. croccodilli.com croccodilli.com Public

   Croccodilli! 🐊

   JavaScript

3. OMLoader OMLoader Public

   A module loader for Standard ML

   Standard ML

4. dojo-starter-ml dojo-starter-ml Public

   A starter for a coding dojo written in Standard ML

   Standard ML

5. spid-spring spid-spring Public

   Forked from italia/spid-spring

   SPID extension for Java Spring

   Java

6. kotlin-arrow-playground kotlin-arrow-playground Public

   A playground to understand how arrow works

   Kotlin