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
- LODA Programs for Integer Sequences☆37Updated this week
- Runtime and miner for the LODA language written in C++☆27Updated this week
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11Updated 9 years ago
- Tiny modular assembler & vm for lightweight control microcode☆36Updated 5 years ago
- Emerald is an object oriented language that uses prototypal based inheritance.☆24Updated 3 years ago
- Reversible cellular automata simulator in HTML5 + Java Script.☆32Updated 8 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 11 years ago
- Cellular automata search program☆26Updated 3 years ago
- Quipu Programming Language☆20Updated 12 years ago
- implementation of OEIS sequences☆11Updated 8 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- SAT-based Bitcoin Mining☆88Updated 3 years ago
- An x86 disassembler written in Java (port of udis86)☆13Updated 10 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆169Updated last week
- MIPS Assembly parser in JavaScript☆16Updated 8 years ago
- A textual language for binary data.☆37Updated 3 years ago
- A machine-readable representation of the Intel x86 Instruction Set Reference.☆37Updated 4 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- the Meta-II VM in C☆20Updated 10 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last week
- Incremental regular expression matching☆53Updated 12 years ago
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆65Updated 2 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆47Updated 7 months ago
- Peer-to-peer version control system☆95Updated last year
- Chart parser (Earley SPPF)☆27Updated 6 years ago