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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tools to create filesystem images from an fspec filesystem specification.☆16Apr 21, 2024Updated 2 years ago
- A tree-sitter grammar parser for Janet☆16Sep 19, 2025Updated 7 months ago
- Janet bindings for GitHub's fork of cmark☆18Nov 23, 2025Updated 5 months ago
- A horizontally scaling object store based on the CRUSH placement algorithm.☆13Nov 1, 2022Updated 3 years ago
- Janet routines for utf8 handling☆19Jan 19, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Partial implementation of the Janet bytecode VM in Javascript☆16Mar 1, 2022Updated 4 years ago
- Exploring the space of all possible programs☆26Jan 9, 2014Updated 12 years ago
- A TOML parser written in Janet☆21Sep 27, 2024Updated last year
- SCGI reverse proxy transport module for Caddy☆18Updated this week
- A synchronous, vm pooling http server for janet.☆20Aug 2, 2022Updated 3 years ago
- ☆18May 19, 2020Updated 5 years ago
- to support clojure cli on windows 10☆25Jun 13, 2024Updated last year
- A little experiment into how Clojure with inferred paren might look like☆31Jan 6, 2015Updated 11 years ago
- An Implementation of Raft in Janet☆21Aug 11, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- SECD machine and Lispkit Lisp compiler, in Python☆10Oct 25, 2017Updated 8 years ago
- 2D chess pieces made by simple shapes, playable on http://lichess.org preview: https://youtu.be/NqBpmSVooks☆11Aug 29, 2015Updated 10 years ago
- Lua implemented in Mercury☆15Mar 17, 2024Updated 2 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- A little library of bit-based data structures.☆21Sep 7, 2025Updated 7 months ago
- A POC implementation of muKanren using CSP (core.async)☆31May 2, 2014Updated 11 years ago
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 11 years ago
- ☆12Apr 26, 2025Updated last year
- JSON library for the janet language☆28Jul 2, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An implementation of a lexically scoped, referentially transparent, minimal Lisp with some added features☆10Mar 30, 2022Updated 4 years ago
- Janet bindings for the persistent data structure library "immer"☆27Dec 23, 2023Updated 2 years ago
- Dialog System for Structured Programming☆28Sep 27, 2009Updated 16 years ago
- Source Code for 'Introduction to Java Through Game Development' by Victor G. Brusca☆14Nov 28, 2022Updated 3 years ago
- Sequitur and RePair grammar induction algorithms implementation☆28Dec 8, 2023Updated 2 years ago
- a type level lisp interpreter on Rust's type system☆10Nov 11, 2016Updated 9 years ago
- Reflective actor-based language☆28Jan 2, 2017Updated 9 years ago
- A parser generator generator☆19May 17, 2023Updated 2 years ago
- The SubScript extension to the Scala programming language☆12May 20, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆41Aug 9, 2014Updated 11 years ago
- Library of Intuitive Ordinal Notations (IONs)☆11May 8, 2020Updated 5 years ago
- A safe and efficient target language for functional compilers☆20May 5, 2018Updated 7 years ago
- Minimal microprocessor☆21Jul 1, 2017Updated 8 years ago
- Frege support for IntelliJ IDEA☆15Aug 6, 2016Updated 9 years ago
- [UNMAINTAINED] Point spread function modeling tool☆14Jan 22, 2020Updated 6 years ago
- C++ compile-time Prolog interpreter☆65Feb 26, 2014Updated 12 years ago