Pinned

1. turing turing Public

   A simple turing machine simulator in C.

   C 2

2. metaborg/mj.agda metaborg/mj.agda Public

   https://metaborg.github.io/mj.agda/

   Agda 12 1

3. metaborg/ministatix.hs metaborg/ministatix.hs Public

   A playground Statix implementation

   Haskell 3 1

4. ternary.agda ternary.agda Public

   An Agda library for programming with ternary relations

   Agda 14 4

5. jvm.agda jvm.agda Public

   Typed Compilation of Middleweight Java to a JVM Bytecode subset in Agda

   Agda 7 2

6. bumper.kt bumper.kt Public

   Forked from Riscure/bumper

   A C frontend for the JVM, written in Kotlin.

   C