Pinned Loading

1. slab slab Public

   A stack based VM with a Prolog-compiled s-expression language featuring static types, effect inference (det/semidet/nondet), and a Forth layer on top

   Prolog 17

2. trilog trilog Public

   a Prolog interpreter aiming to be embeddable, based on van Emden's ABC algorithm

   C 5 1

3. os-dev os-dev Public

   hobby os project

   C

4. pdp-11-40-emulator pdp-11-40-emulator Public

   A PDP-11/40 emulator and a small compiler (oneshot) for a C-like language targeting it. It can currently run bare-metal ED from paper tape.

   Prolog