gurgeh / CodeSpaceLinks
Exploring the space of all possible programs
☆27Updated 11 years ago
Alternatives and similar repositories for CodeSpace
Users that are interested in CodeSpace are comparing it to the libraries listed below
Sorting:
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Restructor Prototype☆21Updated 8 years ago
- Exploring the Klein Quartic's geometry.☆28Updated last year
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- LODA Programs for Integer Sequences☆36Updated this week
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- Smallish programs written to learn something.☆51Updated last year
- Tiny modular assembler & vm for lightweight control microcode☆36Updated 5 years ago
- lang befunge 93 fast☆21Updated last year
- An x86 disassembler written in Java (port of udis86)☆13Updated 10 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- Intuitionistic Programming Language☆12Updated 11 years ago
- Cellular automata search program☆26Updated 3 years ago
- the Meta-II VM in C☆20Updated 10 years ago
- Cat's Eye Technologies' distribution of John Colagioia's Thue programming language☆29Updated 10 years ago
- Runtime and miner for the LODA language written in C++☆27Updated this week
- ☆57Updated 8 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- An attribute grammar-based programming language for composable language extensions☆64Updated this week
- Automatically exported from code.google.com/p/ghilbert☆48Updated 8 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆53Updated 5 years ago
- A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren☆58Updated 3 years ago
- A low-level virtual machine for mobile code☆12Updated 8 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last month
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- Python term rewriting☆30Updated 12 years ago
- Incremental regular expression matching☆53Updated 12 years ago
- Higher Subleq is a simplified typeless C language.☆12Updated 9 years ago
- A superset of brainfuck with dynamic memory management.☆30Updated 5 years ago