Popular repositories Loading

1. zmakebas zmakebas Public

   Forked from utz82/zmakebas

   Mirror of ZMakeBas Sinclair BASIC converter by Russel Marks, Alistair Neil, and Derek Bolli

   C 2

2. planckforth planckforth Public

   Forked from nineties/planckforth

   Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.

   Forth 1

3. cc64 cc64 Public

   Forked from pzembrod/cc64

   cc64 is a small-C compiler written in Forth, hosted on the Commodore C64, Plus4 and C16 with 64k, and on the Commander X16. It is targeting the 6502 CPU.

   Forth 1

4. coqlang_temporal_logic coqlang_temporal_logic Public

   Formalization of temporal logic in Coq

   Coq 1

5. orc orc Public

   Forked from orc-lang/orc

   Orc programming language implementation

   Scala 1

6. r3vm r3vm Public

   Forked from phreda4/r3vm

   r3 virtual machine, succesor of :r4

   Forth 1