twhume / superoptimiser
Clojure program to exhaustively search for optimal Java programs
☆20Updated 12 years ago
Alternatives and similar repositories for superoptimiser:
Users that are interested in superoptimiser are comparing it to the libraries listed below
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- Clojure-based x86 assembler and toy Lisp compiler☆123Updated 3 months ago
- #lang clojure☆124Updated 9 years ago
- Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.☆22Updated 8 years ago
- A small dialect of Common Lisp based upon lisp500☆38Updated 10 years ago
- parsley is dead, long live parsnip!☆17Updated 10 years ago
- 神.java | Shen for Java 8 Indy. Shen is a portable functional programming language by Mark Tarver.☆58Updated 11 years ago
- ☆20Updated 6 years ago
- An object-oriented dialect of Scheme☆59Updated 2 years ago
- The Symbolic Assembler☆56Updated 7 years ago
- A Clojure dialect that compiles to native executable using the Clang compiler☆95Updated 6 years ago
- Stack-based Programming in Clojure(script)☆78Updated 5 years ago
- Very fast and tiny 64-bit Lisp interpreter: object-oriented, dynamic and functional. Comes with a database, prolog-engine, coroutines, na…☆39Updated 6 years ago
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆50Updated 8 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- Port of the Shen programming language to the Graal runtime☆26Updated 7 years ago
- Minimalist-lisp interpreter implementation for UNIX-like systems.☆11Updated 9 years ago
- Simple, extensible bytecode interpreter☆26Updated 9 years ago
- Lisp is data. Data needs a visualization tool.☆16Updated 11 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- R6RS SRFIs☆26Updated 13 years ago
- Second Interpreter of Scheme Code [unofficial maintenance fork]☆28Updated 5 years ago
- Ox - An immutable statically typed Lisp for the JVM☆66Updated 2 years ago
- A Clojure dataflow library for building application models that run by themselves. It's alive!(tm) Starting out as a literal translation …☆21Updated 2 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- What's the simplest Turing Machine with unknown behavior?☆13Updated 8 years ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆39Updated 3 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆37Updated 12 years ago