☆29May 21, 2023Updated 3 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:
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆12Jun 22, 2019Updated 7 years ago
- Autonomous Theorem Prover for First Order Predicate Logic☆12Jun 29, 2020Updated 6 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Experimental Quantum Computer Simulator + Quantum Chess Implementation☆19Jan 4, 2021Updated 5 years ago
- A text file containing English words, along with the definition, parts of speech (noun,verb,adjective,etc.), and a link to the url where …☆13Apr 27, 2024Updated 2 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.
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- Lua bindings for Wt☆13Oct 19, 2019Updated 6 years ago
- NASM port of JONESFORTH!☆59Sep 27, 2023Updated 2 years ago
- Text to IPA converter in JavaScript. Uses code from https://github.com/surrsurus/text-to-ipa☆14Jul 14, 2024Updated 2 years ago
- Word lists categorized approximately by parts of speech. Parsed from open source lists as shown in details and sources. WARNING: Not suit…☆10Oct 28, 2023Updated 2 years ago
- A Python module for retrieving script types of writing systems including alphabets, abjads, abugidas, syllabaries, logographs, featurals …☆15Jul 19, 2024Updated 2 years ago
- MLPro - The Integrative Middleware Framework for Standardized Machine Learning in Python☆20Nov 6, 2025Updated 9 months ago
- A Clojure project based on Stuart Halloway’s Snake.☆10Apr 25, 2021Updated 5 years ago
- An English-Chinese dictionary, both cli and a node module.☆13Mar 20, 2019Updated 7 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.
- Estimate the number of legal chess positions☆14Jan 14, 2021Updated 5 years ago
- ☆11Apr 14, 2023Updated 3 years ago
- The Lua Extension API is a proposal for a standard set of functions to provide a more complete programming environment for Lua. This i…☆13Apr 28, 2011Updated 15 years ago
- A repository of words in multiple languages sorted by their frequency☆13Sep 1, 2023Updated 2 years ago
- Wikipedia Bilingual Reference Data (English)☆18Jun 17, 2016Updated 10 years ago
- NASM/GoLink OpenGL 1k Framework☆13Dec 25, 2017Updated 8 years ago
- Rates a password from 0-10 based on length and variying levels of complexity.☆12Sep 10, 2013Updated 12 years ago
- a lightweight, robust, scheme-like lisp implementation☆19Mar 17, 2020Updated 6 years ago
- A simple phonetic respelling for the English language☆13Dec 23, 2025Updated 7 months 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.
- generate random valid Shift format ASTs☆20Apr 27, 2022Updated 4 years ago
- An extremely concatenative programming language☆22Sep 27, 2023Updated 2 years ago
- feedback vertex set solver☆11Nov 1, 2018Updated 7 years ago
- An application to improve your vocabulary☆11Nov 5, 2017Updated 8 years ago
- Python program that plays/renders ProTracker modules using PyAudio (available on PyPI as "pymod-amiga")☆11Jan 2, 2025Updated last year
- Compare English corpora by measuring differences in common-word frequency distributions☆13Jan 6, 2023Updated 3 years ago
- Mirror of the Moby Project containing public-domain lexical resources; word lists, thesaurus, hyphenation, pronunciation.☆16Jul 27, 2014Updated 12 years ago
- A nicely typeset table of the 100 most common radicals in Chinese characters☆17May 2, 2021Updated 5 years ago
- A template for plugins.☆26Sep 11, 2025Updated 11 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 profanity ridden version of Brainfuck/Spacefuck☆15Jan 17, 2015Updated 11 years ago
- An advanced orbital dynamics and n-body simulation program.☆15Sep 5, 2023Updated 2 years ago
- Small service to fetch torrent files from Jackett supplied RSS feeds every 5 minutes based on your regex patterns.☆17Jun 21, 2026Updated last month
- Unexport is a linter that tries to keep the __all __ in your Python modules always up to date.☆24Apr 23, 2026Updated 3 months ago
- Python tool for bulk PDF feature extraction. This tool is a prototype.☆25Jan 9, 2017Updated 9 years ago
- My own POSIX shell implementation☆16Jul 29, 2019Updated 7 years ago
- Wrap a Readable stream in a Transform stream.☆10Apr 6, 2023Updated 3 years ago