Popular repositories Loading

1. language language Public archive

   Basically just a dump for all sorts of tools and experiments with no rhyme or reason at this point.

   Kotlin 2

2. lean-playground lean-playground Public

   Random bits of Lean code, mostly for the learning purpose

   Lean 2

3. quine-maker quine-maker Public

   Python 1

4. iGHCi iGHCi Public

   Instant reload for GHCi

   Haskell

5. promnesia promnesia Public

   Forked from karlicoss/promnesia

   Another piece of your extended mind

   Python

6. notebook notebook Public archive

   TypeScript