Convergence verification of the Collatz problem
☆75Feb 19, 2026Updated last week
Alternatives and similar repositories for collatz
Users that are interested in collatz are comparing it to the libraries listed below
Sorting:
- An automated approach to the Collatz conjecture☆12Oct 7, 2023Updated 2 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆28Aug 19, 2025Updated 6 months ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- Maintained fork of Peter Miller's UCSD P-System tools - Operating System☆13Nov 2, 2025Updated 4 months ago
- ☆15Oct 1, 2024Updated last year
- Solving LeetCode problems in Dyalog APL☆11Jun 13, 2022Updated 3 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- connects to many types of source control repositories and visualizes the changes as an actual tree. Demos, examples, working code includ…☆24Dec 24, 2012Updated 13 years ago
- Universal firmware for CNC machines☆18Feb 28, 2016Updated 10 years ago
- Various Futhark benchmark programs☆45Jan 21, 2026Updated last month
- An old and good virtual keyboard☆18Sep 16, 2025Updated 5 months ago
- Examples of using Polygon Miden☆21Aug 25, 2025Updated 6 months ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- Original programs of the book "BASIC Computer Games"☆53Aug 9, 2022Updated 3 years ago
- Reason about Bitcoin addresses with Prolog☆23Mar 17, 2024Updated last year
- Awesome Geometric Algebra☆29Jul 11, 2020Updated 5 years ago
- A small and easy python-only decoder-only for AIS messages : AIVDM/AIVDO☆24Mar 14, 2019Updated 6 years ago
- a multi-user networked online text-based programmable virtual environment -- MOVED TO: https://git.leastfixedpoint.com/tonyg/3-move