gurgeh / CodeSpaceLinks
Exploring the space of all possible programs
☆27Updated 12 years ago
Alternatives and similar repositories for CodeSpace
Users that are interested in CodeSpace are comparing it to the libraries listed below
Sorting:
- Restructor Prototype☆21Updated 8 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Tiny modular assembler & vm for lightweight control microcode☆37Updated 5 years ago
- Cayley Dickson algebra implementation in python☆12Updated 7 years ago
- Emerald is an object oriented language that uses prototypal based inheritance.☆24Updated 3 years ago
- Exploring the Klein Quartic's geometry.☆28Updated 2 years ago
- Quipu Programming Language☆20Updated 12 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 5 years ago
- Python term rewriting☆30Updated 12 years ago
- Intuitionistic Programming Language☆12Updated 12 years ago
- lang befunge 93 fast☆21Updated 2 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆49Updated this week
- the Meta-II VM in C☆21Updated 10 years ago
- Chart parser (Earley SPPF)☆27Updated 7 years ago
- SAT-based Bitcoin Mining☆89Updated 3 years ago
- A C implementation of the Tsetlin Machine☆16Updated this week
- An exercise in programming language design and implementation.☆19Updated 4 years ago
- A two-dimensional programming language.☆55Updated 9 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- An x86 disassembler written in Java (port of udis86)☆13Updated 11 years ago
- Incremental regular expression matching☆53Updated 13 years ago
- A textual language for binary data.☆37Updated 3 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11Updated 9 years ago
- Convert Java bytecode to firm IR☆18Updated 8 years ago
- ☆14Updated 6 months ago
- A Python interpreter for the huh? programming language.☆10Updated 7 years ago
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆65Updated 2 years ago
- ☆12Updated 3 years ago
- Design a turing-complete marble run with ascii/unicode art☆58Updated 7 years ago