gurgeh / CodeSpaceLinks
Exploring the space of all possible programs
☆28Updated 11 years ago
Alternatives and similar repositories for CodeSpace
Users that are interested in CodeSpace are comparing it to the libraries listed below
Sorting:
- A rethinking of the C time library☆11Updated 3 months ago
- Restructor Prototype☆21Updated 7 years ago
- 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☆45Updated 4 years ago
- A low-level virtual machine for mobile code☆12Updated 7 years ago
- A programming language that deduces code from tests☆30Updated 7 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- The GNU Superoptimizer☆26Updated 10 years ago
- Waxeye Parser Generator☆19Updated 4 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 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
- An exploration of code homeomorphism☆34Updated 7 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 6 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- MMPX - pixel art scaling (c99 - MIT)☆12Updated 3 years ago
- Huwinterpreter☆11Updated last year
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- WebAssembly toolchain☆36Updated 7 years ago
- A Haskell port of the C++ smallpt path tracer☆15Updated 4 years ago
- A compiler synthesizer for simple languages.☆15Updated 6 years ago
- ☆19Updated 13 years ago
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆14Updated 4 years ago
- mirror of jsish - A javascript interpreter with 0install, sqlite and websocket support☆13Updated 9 years ago
- ☆13Updated 4 years ago
- LODA Programs for Integer Sequences☆33Updated this week
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 2 years ago
- Peek/Poke like it's 1979 - Multi-Platform memory reading/writing☆12Updated 6 years ago
- Emerald is an object oriented language that uses prototypal based inheritance.☆22Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated last month