☆30May 21, 2023Updated 2 years ago
Alternatives and similar repositories for PythonDonkeyKong
Users that are interested in PythonDonkeyKong are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Spell and pronounce words with a neural network☆10Feb 13, 2017Updated 9 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Jun 22, 2019Updated 6 years ago
- Low cost and 3D printed motorized hand experimentation.☆48Apr 21, 2026Updated last week
- A simple shoot 'em ups style game using Rust's Bevy crate https://play.marcoinacio.com☆15Feb 25, 2024Updated 2 years ago
- ☆14Aug 7, 2023Updated 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.
- Hyphenation of English words☆13Dec 21, 2016Updated 9 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- Asteroids-like game using pygame☆17Oct 26, 2025Updated 6 months ago
- The Bible has some issues. Let's make it better.☆72Oct 2, 2015Updated 10 years ago
- Verified decision procedures for modal logics in Lean☆12Jun 13, 2020Updated 5 years ago
- Mirror of the Moby Project containing public-domain lexical resources; word lists, thesaurus, hyphenation, pronunciation.☆16Jul 27, 2014Updated 11 years ago
- An English-Chinese dictionary, both cli and a node module.☆13Mar 20, 2019Updated 7 years ago
- ☆11Apr 14, 2023Updated 3 years ago
- library for asynchronous processing in LuaJIT☆15Apr 12, 2022Updated 4 years ago
- 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.
- Autonomous Theorem Prover for First Order Predicate Logic☆12Jun 29, 2020Updated 5 years ago
- Wikipedia Bilingual Reference Data (English)☆17Jun 17, 2016Updated 9 years ago
- 🐼 Easy to use and portable pronunciation data for Hanzi characters.☆15Feb 27, 2017Updated 9 years ago
- Rates a password from 0-10 based on length and variying levels of complexity.☆12Sep 10, 2013Updated 12 years ago
- A Clojure project based on Stuart Halloway’s Snake.☆10Apr 25, 2021Updated 5 years ago
- generate random valid Shift format ASTs☆20Apr 27, 2022Updated 4 years ago
- A python package that transparently handles physical quantities like 2 meters or `np.array([1, 2, 3]) Joule`☆21Oct 14, 2025Updated 6 months ago
- feedback vertex set solver☆11Nov 1, 2018Updated 7 years ago
- ☆16Apr 14, 2018Updated 8 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.
- A template for plugins.☆27Sep 11, 2025Updated 7 months ago
- A profanity ridden version of Brainfuck/Spacefuck☆15Jan 17, 2015Updated 11 years ago
- Generate the Abstract Syntax Tree (AST) of a Bash command☆15Jan 30, 2021Updated 5 years ago
- Sauerbraten SDL2 Client☆15May 25, 2020Updated 5 years ago
- Wrap a Readable stream in a Transform stream.☆10Apr 6, 2023Updated 3 years ago
- [DEPRECATED] Use https://github.com/runtimejs/runtime-cli☆11Jul 18, 2015Updated 10 years ago
- The source of the phonetic transcriptions is Oxford Advanced Learner's Dictionary (3rd ed.), available from the Oxford Text Archive (http…☆27Apr 25, 2017Updated 9 years ago
- A solver for the (unicost) set covering problem☆24Apr 18, 2026Updated 2 weeks ago
- How to program a simple vectorial 2D platformer☆25Feb 16, 2023Updated 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.
- Convert a nodejs Readable stream to a web ReadableStream☆12Feb 18, 2023Updated 3 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- A multi-threaded web crawler written in Python, utilizing ThreadPoolExecutor and Playwright to efficiently crawl dynamically rendered web…☆22Nov 30, 2024Updated last year
- jitsi meet video call with gstreamer☆11Nov 25, 2021Updated 4 years ago
- Smaller sdp for serverless WebRTC☆11May 6, 2015Updated 10 years ago
- CMU dictionary in IPA instead of their subset of Arpabet☆16Sep 24, 2024Updated last year
- tar.xz plugin for decompress☆13Jun 12, 2021Updated 4 years ago