Pinned Loading

1. urweb urweb Public

   Forked from urweb/urweb

   The Ur/Web programming language

   Standard ML

2. coq-playground coq-playground Public

   Various Coq files I'm working on.

   Coq

3. MScheme MScheme Public

   A Scheme interpreter written in Kotlin.

   Kotlin

4. BigClock BigClock Public

   big 7 segment clock with DCF receiver

   C++