☆21Sep 18, 2022Updated 3 years ago
Alternatives and similar repositories for dog-bunny-puzzle-solver
Users that are interested in dog-bunny-puzzle-solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17May 29, 2022Updated 3 years ago
- A simple Prolog API for the Z3 constraint solver☆15Feb 5, 2018Updated 8 years ago
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated last year
- Command Line, Python, and Node-Red for old RELAY-8 Card☆13Jan 15, 2021Updated 5 years ago
- convert orgmode to html based on python.☆19Dec 2, 2022Updated 3 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.
- Use Logitech G27 steering wheel to remote control openxc-vehicle-simulator☆13Feb 18, 2014Updated 12 years ago
- ☆14Apr 27, 2023Updated 3 years ago
- Setup FRP server on Heroku and Client on Local (Ubuntu currently). Support FRP server on Ubuntu as well and other alternatives.☆13Jan 24, 2025Updated last year
- JIRA Command Line Client☆17Mar 27, 2017Updated 9 years ago
- An Impractical Stack Language☆14Jun 12, 2020Updated 5 years ago
- Port of mini-gmp library to kernel. minigmp.ko linux kernel module.☆15Sep 30, 2016Updated 9 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Mar 15, 2024Updated 2 years ago
- Code used to log data from the ALX-1309 light meter☆12Jun 6, 2023Updated 2 years ago
- top-down interpreter for ASP programs with constraints☆18Sep 19, 2022Updated 3 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.
- Branding Guidelines you can also use.☆18Nov 21, 2019Updated 6 years ago
- Fully Open Public Licence☆18Jun 30, 2023Updated 2 years ago
- my personal lang☆18Dec 31, 2023Updated 2 years ago
- ☆24Sep 28, 2022Updated 3 years ago
- Record and playback a terminal session☆15Feb 4, 2013Updated 13 years ago
- 📚 Publish stylish documents and digital gardens from Markdown☆14Apr 28, 2026Updated 3 weeks ago
- Arduino library for Maxim DS2431 1-Wire EEPROM☆21Feb 20, 2020Updated 6 years ago
- Benchmarks and faster constructs for Clojure☆14Apr 9, 2018Updated 8 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An unscientific benchmark of SQLite vs the file system (btrfs)☆58Feb 12, 2022Updated 4 years ago
- A rudimentary boilerplate for building Electron apps with embedded Lisp helper processes☆12Mar 5, 2023Updated 3 years ago
- Clojure deps.edn tool that converts project.clj dependencies to deps.edn format☆10Aug 3, 2018Updated 7 years ago
- Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories☆15Oct 18, 2025Updated 7 months ago
- Tübix website (Hugo)☆13Updated this week
- Exploring the music theory of birdsong☆17Oct 3, 2024Updated last year
- List of Domains registered by Deutsche Bahn, republished as machine-readable CSV☆20Apr 11, 2023Updated 3 years ago
- GUI application for utilising the SailfishOS:Chum community repository☆17Feb 2, 2026Updated 3 months ago
- Microwave oven food reminder☆22Jul 17, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Training GPTs to solve interaction nets☆18Aug 14, 2024Updated last year
- Polynomial-time Meta-Interpretive Learning☆133Feb 11, 2025Updated last year
- A number guessing game with a p-adic twist.☆12Oct 13, 2023Updated 2 years ago
- ☆14Jan 5, 2024Updated 2 years ago
- ☆12Jul 27, 2020Updated 5 years ago
- A recipe for a nice cake that approximates pi when compiled in Chef☆16Mar 14, 2022Updated 4 years ago
- TFmini's Examples on Arduino.☆19Sep 9, 2019Updated 6 years ago