Convergence verification of the Collatz problem
☆84Aug 10, 2026Updated last month
Alternatives and similar repositories for collatz
Users that are interested in collatz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An automated approach to the Collatz conjecture☆13Oct 7, 2023Updated 2 years ago
- Solving LeetCode problems in Dyalog APL☆11Jun 13, 2022Updated 4 years ago
- Find which lines in which files in your project haven't been touched in over a year so you can re-evaluate their worth.☆19Aug 5, 2011Updated 15 years ago
- Description of the .tbt TabIt file format☆15Mar 22, 2025Updated last year
- A curated list of awesome Rust code and resources.☆10Mar 21, 2015Updated 11 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A very basic 160 4bpp snes superfx demo☆18Sep 18, 2026Updated last week
- functional programming tools for python☆12Dec 1, 2021Updated 4 years ago
- ☆10Dec 17, 2022Updated 3 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆12Jun 6, 2026Updated 3 months ago
- maps are everything.☆10Jul 3, 2025Updated last year
- Awesome Geometric Algebra☆32Jul 11, 2020Updated 6 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 4 years ago
- Commodore 64 FPGA emulation platform☆20Mar 9, 2024Updated 2 years ago
- Automagic Selfcustodial Cloud Lightning Stack☆19Jun 20, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Debugger in the Trepan family for x-python☆18Apr 23, 2026Updated 5 months ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- ☆12Jul 29, 2026Updated last month
- Crossassembler for changing x86 into 6502 assembly code. Other CPU's like Z80 will be added in the future.☆16Oct 9, 2018Updated 7 years ago
- N-Queens puzzle built with react and SWI Pengines.☆10Aug 13, 2026Updated last month
- ☆13Oct 23, 2018Updated 7 years ago
- An interpreter for the Assembly programming language.☆12Nov 9, 2020Updated 5 years ago
- Golang Post Quantum Secure Wire☆19Jul 31, 2025Updated last year
- ☆16May 21, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Run Dyalog APL under Docker☆12Dec 18, 2025Updated 9 months ago
- Backup☆10Jun 16, 2026Updated 3 months ago
- Treat remote files like they exist in your memory.☆11Jan 21, 2024Updated 2 years ago
- XML / HTML / XHTML markup language generator for Hy☆10Aug 4, 2017Updated 9 years ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Mar 8, 2022Updated 4 years ago
- Software for a Raspberry Pi based muon detector system of the MuonPi project.☆27May 8, 2026Updated 4 months ago
- my emacs config☆11May 2, 2024Updated 2 years ago
- ☆11May 29, 2015Updated 11 years ago
- Examples of using Polygon Miden☆21Aug 25, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An opinionated addon for WhiteNoise, with a focus on Django environments.☆17Jun 19, 2019Updated 7 years ago
- Apple Lisa Keyboard Tester/Translator/Emulator☆13Jul 6, 2026Updated 2 months ago
- K interpreter in 90 lines of Python☆18May 31, 2026Updated 3 months ago
- Generate the digits of Pi using a streaming algorithm☆13Jun 30, 2015Updated 11 years ago
- ☆12Jan 19, 2024Updated 2 years ago
- An FPGA replacement for the graphics chip used in the NES and related systems☆18Mar 23, 2019Updated 7 years ago
- Twitter Text Libraries: Rust implementation☆18Updated this week