emreyolcu / rewriting-collatzView external linksLinks
An automated approach to the Collatz conjecture
☆12Oct 7, 2023Updated 2 years ago
Alternatives and similar repositories for rewriting-collatz
Users that are interested in rewriting-collatz are comparing it to the libraries listed below
Sorting:
- Resource Aware, Recursive Virtual Machine☆10Nov 4, 2022Updated 3 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr☆17Mar 23, 2022Updated 3 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 5 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 2 years ago
- ☆18Nov 21, 2020Updated 5 years ago
- A concise programming language that is fun to use☆16Dec 24, 2015Updated 10 years ago
- ☆22Jan 19, 2023Updated 3 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆28Aug 19, 2025Updated 5 months ago
- Two-Level Type Theory☆28Dec 13, 2019Updated 6 years ago
- The Termination Problem Database☆29Aug 20, 2025Updated 5 months ago
- a multi-user networked online text-based programmable virtual environment -- MOVED TO: https://git.leastfixedpoint.com/tonyg/3-move☆32Dec 16, 2018Updated 7 years ago
- A new declarative programming language☆24Oct 12, 2020Updated 5 years ago
- Mathematical proofs of the bbchallenge project.☆24Sep 1, 2025Updated 5 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆77Sep 16, 2024Updated last year
- Convergence verification of the Collatz problem☆74Feb 5, 2026Updated last week
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 2 weeks ago
- Metamath verifier in Python☆41Jun 7, 2025Updated 8 months ago
- An (almost) dependency free library to read bitmap images (requires Numpy).☆14Mar 3, 2020Updated 5 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆43Jun 14, 2022Updated 3 years ago
- Feel the Vibes☆13Feb 26, 2025Updated 11 months ago
- Compiler and interpreter for a miranda-like functional language in Python.☆12Dec 28, 2011Updated 14 years ago
- ☆14Feb 2, 2025Updated last year
- A collection of handy tools such as adding Key & BPM to your music library☆15Mar 8, 2023Updated 2 years ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆12Nov 22, 2024Updated last year
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated 3 weeks ago
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated 3 weeks ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Jan 23, 2026Updated 3 weeks ago
- Self-compiling compiler of a Python subset. Just enough Python to Python in Python.☆46Feb 21, 2023Updated 2 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- Blaze: a VT420 emulator☆30Jan 4, 2026Updated last month