Alternatives and similar repositories for superoptimiser:

Users that are interested in superoptimiser are comparing it to the libraries listed below

• hraberg / Shen.java
  神.java | Shen for Java 8 Indy. Shen is a portable functional programming language by Mark Tarver.
  ☆58Updated 11 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• hraberg / akeem
  Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.
  ☆22Updated 8 years ago
• jduey / toccata
  A Clojure dialect that compiles to native executable using the Clang compiler
  ☆94Updated 6 years ago
• cgrand / parsnip
  parsley is dead, long live parsnip!
  ☆17Updated 10 years ago
• ox-lang / ox
  Ox - An immutable statically typed Lisp for the JVM
  ☆66Updated 2 years ago
• miniKanren / simple-miniKanren
  Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
  ☆42Updated last year
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 7 years ago
• benzap / fif
  Stack-based Programming in Clojure(script)
  ☆78Updated 5 years ago
• nathell / lithium
  Clojure-based x86 assembler and toy Lisp compiler
  ☆123Updated 4 months ago
• eholk / elegant-weapons
  An R6RS framework for creating compilers that target C.
  ☆113Updated 9 years ago
• taij33n / picolisp
  Very fast and tiny 64-bit Lisp interpreter: object-oriented, dynamic and functional. Comes with a database, prolog-engine, coroutines, na…
  ☆40Updated 6 years ago
• rm-hull / wam
  Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
  ☆27Updated 6 years ago
• takikawa / racket-clojure
  #lang clojure
  ☆124Updated 9 years ago
• barak / oaklisp
  An object-oriented dialect of Scheme
  ☆59Updated 2 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 9 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• cloxp / cloxp-install
  Clojure IDE for explorative and interactive development.
  ☆67Updated 7 years ago
• hypirion / swearjure
  Clojure interpreter that does not support alphanumerics.
  ☆11Updated 9 years ago
• kanaka / instacheck
  Property-based testing with inputs defined as EBNF grammars
  ☆28Updated 3 months ago
• gershwin / gershwin
  Gershwin programming language
  ☆75Updated 11 years ago
• jackpal / lisp5000
  A small dialect of Common Lisp based upon lisp500
  ☆37Updated 10 years ago
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆33Updated 6 years ago
• nasser / symba
  The Symbolic Assembler
  ☆56Updated 7 years ago
• cjfrisz / clojure-tco
  Expanding support for constant-space tail calls in the Clojure language.
  ☆172Updated 11 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 9 years ago
• ragnard / shen-truffle
  Port of the Shen programming language to the Graal runtime
  ☆26Updated 7 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆58Updated 6 years ago
• rm-hull / jasentaa
  A parser combinator library for Clojure and ClojureScript
  ☆74Updated last year