A simple Brainfuck JIT written as a learning exercise.
☆17Aug 13, 2019Updated 7 years ago
Alternatives and similar repositories for brainfuck-jit
Users that are interested in brainfuck-jit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆11May 8, 2026Updated 4 months ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Lightweight native mysql driver written in D☆24Aug 1, 2019Updated 7 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 10 years ago
- thautwarm utilities.☆11Oct 16, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Sublime Text package which simulates Conway's Game of Life through your Sublime Text file's contents!☆10May 4, 2015Updated 11 years ago
- 📟 Encoding/Decoding tool for Martin David's theoretical S language programs.☆16Jul 29, 2016Updated 10 years ago
- A Scheme interpreter in Python☆14Jul 7, 2014Updated 12 years ago
- ☆20Jan 22, 2026Updated 7 months ago
- Hamiltonian decomposition of Z_m^3 Cayley digraphs for all m > 2 — a complete solution to Knuth's "Claude's Cycles," found by LLM agents …☆27Jul 3, 2026Updated 2 months ago
- Experimental Photomosaic Software☆15Jan 15, 2014Updated 12 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- Othello reinforcement learning game playing engine☆16Jun 30, 2016Updated 10 years ago
- A cross-platform C++11 implementation of the CMM language interpreter☆11Jul 18, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Whilelse is a software development system with a web-based editor that represents code as a web instead of text☆13Mar 25, 2016Updated 10 years ago
- Generate random English-sounding words☆15Dec 23, 2014Updated 11 years ago
- 作为对《C++ Concurrency in Action - SECOND EDITION》的中文翻译。☆14Jun 3, 2021Updated 5 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- Verified C programming in Agda☆16Mar 19, 2021Updated 5 years ago
- CHIP-8 emulator and (dis)assembler☆15Aug 11, 2019Updated 7 years ago
- Visualize and inspect custom algorithms with time travelling☆13Feb 20, 2019Updated 7 years ago
- Basic replacement of Composer, the Dependency Manager for PHP☆15Dec 3, 2014Updated 11 years ago
- Lean 4 formalization of arXiv:2603.21852 — All elementary functions from a single binary operator eml(x,y) = exp(x) - ln(y)☆31May 13, 2026Updated 4 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Functional Programming Design Patterns☆16Sep 6, 2017Updated 9 years ago
- Source files and writeups for UTCTF 2019☆14Oct 21, 2020Updated 5 years ago
- A moonbit bootstrapping compiler.☆20Jul 1, 2025Updated last year
- Wait free thread communication☆49Oct 24, 2025Updated 10 months ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- Aim to be a simple, easy-to-use programming language. Let's write relatively safe code without too much cognitive load.☆25Sep 6, 2026Updated last week
- Interactive and object-oriented programming in Agda using coinductive types☆25Nov 29, 2025Updated 9 months ago
- ☆11Nov 29, 2017Updated 8 years ago
- A small test for multithreaded C++ stack unwinding on unixes☆16Feb 24, 2020Updated 6 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.
- ☆35Updated this week
- Bilinear Pairings Components Library for Delphi☆12Dec 19, 2018Updated 7 years ago
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Nov 5, 2011Updated 14 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- ☆19Feb 11, 2016Updated 10 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆30Sep 27, 2015Updated 10 years ago
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 6 years ago