You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
☆82Dec 27, 2025Updated 5 months ago
Alternatives and similar repositories for BoolosBrewery
Users that are interested in BoolosBrewery are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Source code for a video on computing Fibonacci numbers efficiently☆156Nov 29, 2024Updated last year
- ☆14Nov 13, 2015Updated 10 years ago
- Only for educational purposes☆11Jun 17, 2023Updated 2 years ago
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 4 years ago
- experiments with the Rust type system, including a type-level brainfuck implementation☆40Nov 14, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- One of the most minimal MOS6502 and retro computer emulators!☆22Jan 21, 2024Updated 2 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- World's fastest FRACTRAN interpeter☆16May 11, 2026Updated last month
- Experimental lightweight editor☆18Jan 26, 2023Updated 3 years ago
- An Impractical Stack Language☆14Jun 12, 2020Updated 5 years ago
- KVDB☆38May 12, 2026Updated 3 weeks ago
- Rust traits for nonzero generic integers☆17May 24, 2022Updated 4 years ago
- A quick WIP hack to expose a directory as a block device with a vfat fs, e. g. for USB mass storage☆11Jan 25, 2017Updated 9 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆86Feb 14, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- VHDL to Redstone Circuit Compiler☆28Dec 31, 2025Updated 5 months ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- Wisp is a set of simple scripts for setting up small QEMU-based Virtual Machines☆73May 2, 2025Updated last year
- A virtual machine controlled via stdin/stdout☆33Aug 2, 2022Updated 3 years ago
- The UNIX holy trinity, reimagined☆12Apr 25, 2023Updated 3 years ago
- A query string parser for Gleam☆12May 22, 2026Updated 2 weeks ago
- Nim binding for the Z3 theorem prover☆26Dec 25, 2023Updated 2 years ago
- 🌑 Forth Programming Language on Lua☆24Jun 19, 2025Updated 11 months ago
- concise functionless functional esolang☆14Jan 18, 2026Updated 4 months 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.
- UF5 is an algset to cycle 5 edge pieces. The code/pdf/images in this repository will be extracting efficient algorithms from Cube Explore…☆10Updated this week
- LiteX LUNA USB stack integration☆14Jun 12, 2022Updated 3 years ago
- Use Web Workers in Astro☆25Aug 19, 2024Updated last year
- A macos port of the hare language's compiler (https://harelang.org). See README.darwin.☆22Dec 3, 2024Updated last year
- a cyberdeck for dealing in noise☆11May 12, 2026Updated 3 weeks ago
- This is a Node.js driver for CUBRID RDBMS. It is developed in 100% JavaScript and does not require specific platform compilation.☆27Mar 31, 2025Updated last year
- ☆20Apr 14, 2026Updated last month
- Markov-chain based text generator for Raku language. Generate superficially real-looking text.☆14Jan 14, 2023Updated 3 years ago
- A friendly UI for arXiv hosting papers on fairness and ethics in Machine Learning & Data Science☆12Jul 4, 2019Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A secure utmp/wtmp implementation☆19May 9, 2026Updated last month
- ☆13May 17, 2024Updated 2 years ago
- Fast and accurate evaluation of the real valued parts of the principal and secondary branches of the Lambert W function with the method o…☆14May 13, 2026Updated 3 weeks ago
- Various MuseScore2 plugins that people might find useful☆12Sep 21, 2025Updated 8 months ago
- The website for the Sentient Programming Language.☆10Oct 5, 2022Updated 3 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆44May 7, 2025Updated last year
- ⚡ An interactive alternative to swift package init☆13Jul 24, 2023Updated 2 years ago