gurgeh / CodeSpace
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
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- Restructor Prototype☆21Updated 7 years ago
- A superset of brainfuck with dynamic memory management.☆27Updated 4 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆51Updated 4 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- Emerald is an object oriented language that uses prototypal based inheritance.☆22Updated 3 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated 4 months ago
- A revival of the TREE-META compiler-compiler.☆15Updated 6 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 6 years ago
- the Meta-II VM in C☆19Updated 9 years ago
- Carpet fractal genetic algorithm☆12Updated 7 years ago
- a Lispy Forth in C++☆25Updated 6 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- ☆19Updated 13 years ago
- An exploration of code homeomorphism☆34Updated 6 years ago
- Library for creation of SAT instances.☆19Updated 2 years ago
- A Forth implementation for the R216K8B Powder Toy computer.☆27Updated 9 months ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Waxeye Parser Generator☆19Updated 3 years ago
- A Python interpreter for the huh? programming language.☆10Updated 7 years ago
- libvim: The core Vim editing engine as a minimal C library☆8Updated 4 years ago
- ☆13Updated 3 years ago
- visualizer to see which parts of an lzma compressed file took the most number of bytes☆31Updated 3 years ago
- ☆11Updated 2 years ago
- The GNU Superoptimizer☆26Updated 10 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 2 months ago
- Runtime and miner for the LODA language written in C++☆24Updated last month