A solver for halting problem of Brainfuck programs
☆18Mar 21, 2020Updated 6 years ago
Alternatives and similar repositories for beaver
Users that are interested in beaver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Mar 27, 2024Updated 2 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆12Jun 22, 2019Updated 6 years ago
- Graph homomorphism and retract searching☆11Aug 5, 2015Updated 10 years ago
- ☆12Feb 19, 2026Updated 3 months ago
- symbolic reachability checker☆23Sep 23, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- a Python library for combinatorial exploration☆13Mar 31, 2026Updated 2 months ago
- An isolated environment for DNS cache poisoning attack investigation and demonstration.☆10Nov 22, 2020Updated 5 years ago
- Constraint satisfaction solution to generate puzzles similar to UnblockMe, the iPhone game, built with Java.☆10Aug 5, 2017Updated 8 years ago
- ☆14Aug 11, 2018Updated 7 years ago
- A toolkit for making 2D tile-based turn-based games in Godot☆14Sep 30, 2023Updated 2 years ago
- A Terminal.app for ravynOS☆20Oct 25, 2025Updated 7 months ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Apr 15, 2021Updated 5 years ago
- Maxi Metro is a Traffic game inspired by Mini Metro. It is writen in Python using Pygame. Should be multi user some day.☆18Aug 6, 2015Updated 10 years ago
- Circuit-level PDP-11/34 emulator☆69Apr 8, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A collection of fun and interesting words in English used in the Insanity Jam's Game Idea Generator☆13Sep 8, 2022Updated 3 years ago
- An interactive visualization system on a family of Kleinian groups based on Schottky groups☆18Aug 15, 2024Updated last year
- A (mostly) purely functional console-based esoteric language interpreter.☆14Oct 19, 2021Updated 4 years ago
- Library of Intuitive Ordinal Notations (IONs)☆11May 8, 2020Updated 6 years ago
- It's an incremental game. Don't get killed by the space squid.☆16Jun 5, 2020Updated 6 years ago
- A brute force solver for Snakebird, a puzzle game☆21Jul 21, 2018Updated 7 years ago
- Haskell interval collections☆17Updated this week
- Process output of John Walker's midicsv to get real-world timing information. Convert ticks to seconds.☆12Jun 24, 2020Updated 5 years ago
- Reddit Media Downloader is a Python application designed to simplify the process of downloading images and GIFs from Reddit. It allows us…☆17May 15, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Blaze: a VT420 emulator☆35Mar 30, 2026Updated 2 months ago
- 2D language of magic☆20Sep 19, 2019Updated 6 years ago
- Create a Kindle dictionary from dict.cc data (specifically Norwegian/Bokmål 🇳🇴 -> German 🇩🇪).☆11Oct 31, 2018Updated 7 years ago
- Finds optimal code sequences for stack transformations☆26Feb 21, 2019Updated 7 years ago
- Experimental compiler for the B language☆13Mar 31, 2016Updated 10 years ago
- Contains methods to uniformly sample graphs with a given degree sequence.☆19Mar 18, 2019Updated 7 years ago
- Altair BASIC source code for the interpreter☆14Apr 4, 2025Updated last year
- Train YOLO object detection model to find traffic signs in the images. Use OCR pipeline to extract the information from the signs with te…☆13Dec 26, 2020Updated 5 years ago
- Application for Nets and Tessellations With Edge-to-edge Regular Polygons☆23Apr 10, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 间隔重复模拟器☆20May 22, 2025Updated last year
- ☆28Mar 31, 2014Updated 12 years ago
- Needleman-Wunsch and Hirschberg algorithms☆13Aug 26, 2020Updated 5 years ago
- a python constraint solver based on clasp☆33Jan 14, 2014Updated 12 years ago
- Crawler of regenbogen-ice☆12Apr 30, 2024Updated 2 years ago
- A puzzle game☆32Sep 24, 2021Updated 4 years ago
- Generative Escher Meshes☆34Sep 19, 2025Updated 8 months ago