twhume / superoptimiser
Clojure program to exhaustively search for optimal Java programs
☆20Updated 12 years ago
Related projects ⓘ
Alternatives and complementary repositories for superoptimiser
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- parsley is dead, long live parsnip!☆17Updated 10 years ago
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- #lang clojure☆121Updated 9 years ago
- A POC implementation of muKanren using CSP (core.async)☆31Updated 10 years ago
- 神.java | Shen for Java 8 Indy. Shen is a portable functional programming language by Mark Tarver.☆58Updated 11 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- Clojure-based x86 assembler and toy Lisp compiler☆123Updated 2 weeks ago
- A Clojure dialect that compiles to native executable using the Clang compiler☆94Updated 6 years ago
- A Clojure implementation of the logic programming language from chapter 4 of SICP☆68Updated 5 years ago
- Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.☆22Updated 7 years ago
- Stack-based Programming in Clojure(script)☆78Updated 5 years ago
- Ox - An immutable statically typed Lisp for the JVM☆66Updated 2 years ago
- A Pascal compiler & compiler toolkit written in Clojure☆10Updated 11 years ago
- Clojure IDE for explorative and interactive development.☆67Updated 7 years ago
- Port of the Shen programming language to the Graal runtime☆25Updated 7 years ago
- An experimental esolang implementation of a Kolmogorov-Uspensky machine☆29Updated 8 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…☆68Updated last year
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- The Symbolic Assembler☆55Updated 7 years ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 2 years ago
- A statically typed, functional Lisp, building upon Clojure☆78Updated 7 years ago
- ☆20Updated 6 years ago
- A C implementation of the Shen programming language☆70Updated 2 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- Gershwin programming language☆75Updated 10 years ago
- Very fast and tiny 64-bit Lisp interpreter: object-oriented, dynamic and functional. Comes with a database, prolog-engine, coroutines, na…☆39Updated 5 years ago
- A literate clojure implementation of microKanren☆68Updated 5 years ago