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
- LODA Programs for Integer Sequences☆37Updated this week
- Restructor Prototype☆21Updated 8 years ago
- Runtime and miner for the LODA language written in C++☆27Updated this week
- Python term rewriting☆30Updated 12 years ago
- Exploring the Klein Quartic's geometry.☆28Updated last year
- lang befunge 93 fast☆21Updated last year
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 4 months ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Intuitionistic Programming Language☆12Updated 11 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Updated 4 years ago
- Wasm examples, brought to you by humans!☆16Updated 4 years ago
- Cellular automata search program☆26Updated 3 years ago
- Design a turing-complete marble run with ascii/unicode art☆56Updated 7 years ago
- Reversible cellular automata simulator in HTML5 + Java Script.☆32Updated 8 years ago
- A superset of brainfuck with dynamic memory management.☆29Updated 4 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- Emerald is an object oriented language that uses prototypal based inheritance.☆22Updated 3 years ago
- Incremental regular expression matching☆53Updated 12 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated this week
- Tiny modular assembler & vm for lightweight control microcode☆36Updated 5 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- An x86 disassembler written in Java (port of udis86)☆13Updated 10 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- A PEG that compiles itself.☆76Updated 14 years ago
- MIPS Assembly parser in JavaScript☆16Updated 8 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 11 years ago
- metamath proof enumerators and other things☆94Updated last year