5
Repos
168
Stars
6
Forks
168
Watchers
Repositories (5)
rubiks_cube
been-jamming/rubiks_cube
C
rubik's cube that runs in your terminal!
84
4
CORE
been-jamming/CORE
C
A constructive proof assistant for second order logic.
35
0
MinimalCC
been-jamming/MinimalCC
C
Minimal C subset compiler
29
2
A1Emu
been-jamming/A1Emu
C
Console based Apple 1 emulator for Windows and Linux
10
0
TiBc
been-jamming/TiBc
C
Native B compiler for the Ti89
10
0