twhume/superoptimiser external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

twhume/superoptimiser

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/twhume/superoptimiser)

Close

twhume / superoptimiserView on GitHubMore

• External links
• Readme badge

Clojure program to exhaustively search for optimal Java programs

☆21Sep 5, 2012Updated 13 years ago

Alternatives and similar repositories for superoptimiser

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

• andrewchambers / fspec-tools

  View on GitHub
  Tools to create filesystem images from an fspec filesystem specification.
  ☆16Apr 21, 2024Updated last year
• pyrmont / markable

  View on GitHub
  Janet bindings for GitHub's fork of cmark
  ☆17Nov 23, 2025Updated 3 months ago
• MikeBeller / janet-benchmarksgame

  View on GitHub
  Versions of the "Computer Language Benchmarks Game" benchmarks for the Janet language.
  ☆15Apr 4, 2022Updated 3 years ago
• goto-engineering / powered-by-janet

  View on GitHub
  A collection of all things written in Janet
  ☆19Aug 21, 2021Updated 4 years ago
• pyrmont / tomlin

  View on GitHub
  A TOML parser written in Janet
  ☆21Sep 27, 2024Updated last year
• pepe / janet-playground

  View on GitHub
  Janet programming language playground
  ☆19May 30, 2024Updated last year
• Elegant996 / scgi-transport

  View on GitHub
  SCGI reverse proxy transport module for Caddy
  ☆17Mar 11, 2026Updated last week
• andrewchambers / poolparty

  View on GitHub
  A synchronous, vm pooling http server for janet.
  ☆20Aug 2, 2022Updated 3 years ago
• frericksm / clj-windows

  View on GitHub
  to support clojure cli on windows 10
  ☆25Jun 13, 2024Updated last year
• jpt4 / skio

  View on GitHub
  Pure relational SKI combinator calculus interpreter.
  ☆11Jul 13, 2017Updated 8 years ago
• HarryR / secdpy

  View on GitHub
  SECD machine and Lispkit Lisp compiler, in Python
  ☆10Oct 25, 2017Updated 8 years ago
• C4Cypher / Apollo-lander

  View on GitHub
  Lua implemented in Mercury
  ☆15Mar 17, 2024Updated 2 years ago
• flugsio / chess_shapes

  View on GitHub
  2D chess pieces made by simple shapes, playable on http://lichess.org preview: https://youtu.be/NqBpmSVooks
  ☆10Aug 29, 2015Updated 10 years ago
• rocq-community / qarith-stern-brocot

  View on GitHub
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Dec 30, 2023Updated 2 years ago
• yurivish / made-of-bits

  View on GitHub
  A little library of bit-based data structures.
  ☆21Sep 7, 2025Updated 6 months ago
• halgari / async-mu-kanren

  View on GitHub
  A POC implementation of muKanren using CSP (core.async)
  ☆31May 2, 2014Updated 11 years ago
• dlaurie / lua-apl

  View on GitHub
  APL-like functions for use from Lua.
  ☆18Mar 23, 2015Updated 10 years ago
• andrewchambers / ddmin-python

  View on GitHub
  A python implementation of delta debugging tool.
  ☆26Feb 9, 2024Updated 2 years ago
• rosen-score / lichess-youtube-timestamper

  View on GitHub
  ☆12Apr 26, 2025Updated 10 months ago
• zhuangxm / clj-rpc

  View on GitHub
  a simple web rpc using clojure and json protocol
  ☆17May 7, 2016Updated 9 years ago
• janet-lang / json

  View on GitHub
  JSON library for the janet language
  ☆28Jul 2, 2022Updated 3 years ago
• trinarium / DSSP-C

  View on GitHub
  Dialog System for Structured Programming
  ☆28Sep 27, 2009Updated 16 years ago
• pyrmont / documentarian

  View on GitHub
  A document generation tool for Janet projects
  ☆24Jan 10, 2026Updated 2 months ago
• KeenS / rustlisp

  View on GitHub
  a type level lisp interpreter on Rust's type system
  ☆10Nov 11, 2016Updated 9 years ago
• leithaus / Rosette

  View on GitHub
  Reflective actor-based language
  ☆28Jan 2, 2017Updated 9 years ago
• forax / jsjs

  View on GitHub
  jsjs is a JavaScript engine written in JavaScript on top of the Java Virtual Machine
  ☆12May 2, 2015Updated 10 years ago
• funcool / promissum

  View on GitHub
  DEPRECATED: use funcool/promesa
  ☆18Nov 29, 2015Updated 10 years ago
• AndreVanDelft / scala

  View on GitHub
  The SubScript extension to the Scala programming language
  ☆12May 20, 2015Updated 10 years ago
• stevekrouse / hs.js

  View on GitHub
  ☆41Aug 9, 2014Updated 11 years ago
• semitrivial / IONs

  View on GitHub
  Library of Intuitive Ordinal Notations (IONs)
  ☆11May 8, 2020Updated 5 years ago
• exists-forall / nickel

  View on GitHub
  A safe and efficient target language for functional compilers
  ☆20May 5, 2018Updated 7 years ago
• carymrobbins / intellij-frege

  View on GitHub
  Frege support for IntelliJ IDEA
  ☆14Aug 6, 2016Updated 9 years ago
• abudnik / tcalc

  View on GitHub
  C++ compile-time Prolog interpreter
  ☆65Feb 26, 2014Updated 12 years ago
• jruz / svelte-preprocess-cljs

  View on GitHub
  ☆21Aug 18, 2023Updated 2 years ago
• disconcision / containment-patterns

  View on GitHub
  pattern combinators extending racket/match to capture 🔗 contexts 📦
  ☆20Jul 8, 2019Updated 6 years ago
• vindaloo-thesis / examples

  View on GitHub
  Code samples inspiring language design
  ☆23Feb 24, 2016Updated 10 years ago
• wintermute-cell / shellmind

  View on GitHub
  LLM powered pseudocode shell command translator
  ☆13Jan 23, 2025Updated last year
• propella / AlligatorEggs

  View on GitHub
  Yet another animation of Bret Victor's "Alligator Eggs!"
  ☆14Jul 1, 2021Updated 4 years ago
• janet-lang / argparse

  View on GitHub
  CLI argument parser for Janet
  ☆30Sep 16, 2021Updated 4 years ago