Convergence verification of the Collatz problem
☆82Aug 10, 2026Updated 3 weeks ago
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
- 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
- Description of the .tbt TabIt file format☆15Mar 22, 2025Updated last year
- Minimal ZX Spectrum for Ulx3s ECP5 board☆12May 7, 2020Updated 6 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.
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆28Jun 7, 2026Updated 2 months ago
- A very basic 160 4bpp snes superfx demo☆18Aug 22, 2026Updated 2 weeks ago
- An experimental Agda kernel for Jupyter☆25Mar 9, 2022Updated 4 years ago
- Creates spectrum generators for supersymmetric and non-supersymmetric models☆22Jul 16, 2026Updated last month
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Jun 7, 2026Updated 2 months ago
- A Z80 Instruction Set Exerciser for CP/M-80☆15Jun 15, 2025Updated last year
- vanillatype - Lightweight runtime types for vanilla JS and Node☆21Apr 28, 2023Updated 3 years ago
- ☆10Dec 17, 2022Updated 3 years ago
- Library for reading the Macintosh File System☆11May 7, 2016Updated 10 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.
- Simple Date Formater for JavaScript. It allows for formatting date → text .☆16Mar 4, 2023Updated 3 years ago
- maps are everything.☆10Jul 3, 2025Updated last year
- A hello world like app for the Sony Playstation Portable handheld videogame system (PSP)☆15May 31, 2023Updated 3 years ago
- Commodore 64 FPGA emulation platform☆19Mar 9, 2024Updated 2 years ago
- ☆16Jun 30, 2025Updated last year
- Experimental Build System for Swift☆17Dec 28, 2024Updated last year
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- Chrome extension that converts between twitch usernames and twitch user ids.☆16Jul 22, 2026Updated last month
- Reverse-engineered schematics for the IR3R53 audio amplifier chip used in the Game Boy Color☆14May 30, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆12Nov 21, 2018Updated 7 years ago
- sonic pi interface☆14Jan 5, 2015Updated 11 years ago
- The codebase that computed the Ninth Dedekind Number☆13Jan 18, 2026Updated 7 months ago
- Maintained fork of Peter Miller's UCSD P-System tools - Operating System☆14Nov 2, 2025Updated 10 months ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- YAFU's sieve of Eratosthenes in library form with standalone executable☆14Jun 3, 2024Updated 2 years ago
- A modern music instrument instrument that fits in your pocket☆12Aug 2, 2026Updated last month
- A project that shows how the simple task of computing a Mandelbrot set can be split up across multiple threads☆14Apr 7, 2015Updated 11 years ago
- ☆13Jan 8, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A hexadecimal emitter language.☆16Nov 1, 2021Updated 4 years ago
- Gas metering injector for eWASM in Golang.☆11Jul 29, 2019Updated 7 years ago
- A curated list of cryptography papers, articles, tutorials and howtos.☆10Feb 19, 2024Updated 2 years ago
- SwapForth J1a processor for Icestudio☆12Aug 28, 2020Updated 6 years ago
- Code and data for paper "Deep Photo Style Transfer": https://arxiv.org/abs/1703.07511☆16Mar 27, 2017Updated 9 years ago
- Doggo Browser☆12May 28, 2021Updated 5 years ago
- TI-99/4A FPGA implementation for the Icestorm toolchain☆22Nov 29, 2025Updated 9 months ago