A solver for halting problem of Brainfuck programs
☆18Mar 21, 2020Updated 5 years ago
Alternatives and similar repositories for beaver
Users that are interested in beaver are comparing it to the libraries listed below
Sorting:
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Jun 22, 2019Updated 6 years ago
- Controlled circle packing in a container.☆11Nov 11, 2021Updated 4 years ago
- symbolic reachability checker☆23Sep 23, 2021Updated 4 years ago
- An isolated environment for DNS cache poisoning attack investigation and demonstration.☆10Nov 22, 2020Updated 5 years ago
- Open Source Schafkopf☆21Updated this week
- OpenAI Gym Environment for Puyo Puyo☆16Apr 24, 2024Updated last year
- A collection of fun and interesting words in English used in the Insanity Jam's Game Idea Generator☆13Sep 8, 2022Updated 3 years ago
- Library of Intuitive Ordinal Notations (IONs)☆11May 8, 2020Updated 5 years ago
- An auto-solver I coded for the "Unblock Me" puzzle game☆29Feb 24, 2021Updated 5 years ago
- ☆14Oct 23, 2025Updated 4 months ago
- A program and library for prototyping and debugging PyTorch models in Haskell☆15Aug 11, 2023Updated 2 years ago
- A command line tool to create proxy cards for the Lord of the Rings LCG☆13Jul 6, 2020Updated 5 years ago
- ☆11Mar 16, 2016Updated 10 years ago
- This repository tracks the changes the the "Unix Timesharing System" paper written by Dennis Ritchie and Ken Thompson.☆11Oct 6, 2018Updated 7 years ago
- Process output of John Walker's midicsv to get real-world timing information. Convert ticks to seconds.☆12Jun 24, 2020Updated 5 years ago
- Blaze: a VT420 emulator☆30Jan 4, 2026Updated 2 months ago
- 2D language of magic☆20Sep 19, 2019Updated 6 years ago
- Finds optimal code sequences for stack transformations☆26Feb 21, 2019Updated 7 years ago
- Create a Kindle dictionary from dict.cc data (specifically Norwegian/Bokmål 🇳🇴 -> German 🇩🇪).☆10Oct 31, 2018Updated 7 years ago
- A lightweight record-replay reverse proxy for testing☆21Feb 20, 2026Updated last month
- Altair BASIC source code for the interpreter☆14Apr 4, 2025Updated 11 months ago
- ☆18Dec 17, 2025Updated 3 months ago
- Train YOLO object detection model to find traffic signs in the images. Use OCR pipeline to extract the information from the signs with te…☆12Dec 26, 2020Updated 5 years ago
- Embeddable ED in rust☆20Jan 17, 2026Updated 2 months ago
- Create your own JIT compiled calculator in Rust using LLVM and inkwell.☆16Apr 23, 2018Updated 7 years ago
- SVG Navigator is an extension for Google Chrome that adds pan and zoom features to existing SVG files on the web.☆17Feb 25, 2025Updated last year
- ☆17Mar 2, 2020Updated 6 years ago
- 间隔重复模拟器☆20May 22, 2025Updated 9 months ago
- Sun NFS 2.0 Release☆24Sep 16, 2025Updated 6 months ago
- Python code for generating each figure in "Evolutionary games with environmental feedbacks"☆10Nov 4, 2019Updated 6 years ago
- ☆28Mar 31, 2014Updated 11 years ago
- Crawler of regenbogen-ice☆12Apr 30, 2024Updated last year
- Rule-based Intelligent Tutoring System☆11Mar 28, 2015Updated 10 years ago
- AI Wargamer and Global Risk Simulator☆13Apr 21, 2025Updated 10 months ago
- Computationally low-cost interception trajectories for quadrocopters☆27Oct 23, 2019Updated 6 years ago
- A "functionally oriented" Racket dialect.☆44May 18, 2022Updated 3 years ago
- Implementation of sprintf for Coq☆19Apr 6, 2020Updated 5 years ago
- The frontend for www.paper-tactics.com — a web application to play a pen-and-paper game with other people around the world.☆19Mar 8, 2026Updated last week
- Working prototype☆16Feb 27, 2022Updated 4 years ago