kanaka / spacewar
Spacewar arcade game using python and pygame/SDL
☆13Updated 8 years ago
Alternatives and similar repositories for spacewar
Users that are interested in spacewar are comparing it to the libraries listed below
Sorting:
- Linux and C programming in a web browser☆26Updated 8 years ago
- Meld virtual machine.☆29Updated 9 years ago
- Topology library for Coq☆12Updated 9 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆27Updated 4 years ago
- attempt to write a simple Forth interpreter in Python☆35Updated 10 years ago
- Naive Bayesian Classifier written in APL☆24Updated 7 years ago
- A digitally-signed accounting and trading system☆22Updated 6 years ago
- An interpreter for the Mistral language.☆19Updated 7 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated last year
- Assembly Programming Learning Platform☆27Updated 12 years ago
- Blackboard implements a TupleSpace on top of redis☆38Updated 15 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Updated 12 years ago
- A Forth REPL in Javascript.☆47Updated 2 years ago
- XHTML combinator library☆9Updated 5 months ago
- Compile-time multitasking support for the Scheme programming language☆37Updated 10 years ago
- The Kent Retargetable occam Compiler☆46Updated 3 years ago
- ☆21Updated 12 years ago
- ☆52Updated 8 years ago
- A self-hosting Scheme to JavaScript compiler☆33Updated 15 years ago
- A streaming parser for the LOGO programming language.☆24Updated 10 years ago
- Gratipay's financial accounting system☆13Updated 7 years ago
- BIT: A Very Compact Scheme System for Microcontrollers☆44Updated 9 years ago
- LR parsing based calculators☆8Updated 10 years ago
- Exercism exercises in Scheme.☆36Updated 3 months ago
- ForthFreak wiki☆120Updated 9 years ago
- A proof assistant.☆12Updated 9 years ago
- experimental computational medium and supporting tools