Convergence verification of the Collatz problem
☆86Oct 15, 2026Updated this week
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:
- I have made the world's fastest CPU and GPU codes for experimentally testing the Collatz conjecture!☆20Jul 27, 2026Updated 2 months ago
- Solving LeetCode problems in Dyalog APL☆11Jun 13, 2022Updated 4 years ago
- GNAT Components Collection – Bindings to C libraries☆15Updated this week
- A Z80 Instruction Set Exerciser for CP/M-80☆19Jun 15, 2025Updated last year
- Scripts to create cartoons of 3D genomes☆12Feb 27, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Gate-Level Simulation on a GPU☆10Nov 22, 2016Updated 9 years ago
- Library for reading the Macintosh File System☆11May 7, 2016Updated 10 years ago
- A GPU compute benchmarking tool for macOS / Metal☆12Aug 3, 2020Updated 6 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆12Jun 6, 2026Updated 4 months ago
- Clockwork: A Modular Arithmetic library for C++☆13May 1, 2026Updated 5 months ago
- A Python module for parsing VGM (Video Game Music) files☆14Aug 3, 2017Updated 9 years ago
- Ruby Hardware Description Language and Simulator☆17Mar 26, 2026Updated 6 months ago
- ☆16Jun 30, 2025Updated last year
- [DEPRECATED] You should use web3.py instead.☆10Nov 24, 2016Updated 9 years 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.
- Prime number in Swift☆15Mar 4, 2016Updated 10 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 4 years ago
- A SoC for DOOM☆20Apr 11, 2021Updated 5 years ago
- How to use the TinyFPGA BX as a game console☆15Nov 12, 2018Updated 7 years ago
- Reverse-engineered schematics for the IR3R53 audio amplifier chip used in the Game Boy Color☆14May 30, 2020Updated 6 years ago
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆12Nov 21, 2018Updated 7 years ago
- Debugger in the Trepan family for x-python☆18Apr 23, 2026Updated 5 months ago
- A list of known filetypes for the Apple II computer☆10Aug 2, 2020Updated 6 years ago
- Optimizing Oberon-2 Compiler☆17Apr 5, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- QEMU MSP430 Target (Fork of QEMU)☆15Jul 30, 2016Updated 10 years ago
- ☆12Jul 29, 2026Updated 2 months ago
- 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
- ☆13Oct 23, 2018Updated 7 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
- Awki is a lightweight wiki written in awk. These are my patches, original here: http://awkiawki.bogosoft.com/☆28Dec 1, 2023Updated 2 years ago
- TI-99/4A FPGA implementation for the Icestorm toolchain☆22Nov 29, 2025Updated 10 months ago
- SN76489 Complex Sound Generator FPGA core.☆19Jul 22, 2020Updated 6 years 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.
- ☆16May 21, 2025Updated last year
- Run Dyalog APL under Docker☆12Dec 18, 2025Updated 9 months ago
- Python 3 runtime libraries for ANTLR 4☆13Jun 7, 2015Updated 11 years ago
- Work related to the Inverted Pendulum Hardware☆17Sep 18, 2026Updated 3 weeks ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- SSG built with the help of ChatGPT☆17May 26, 2024Updated 2 years ago
- Combinators for the real world☆14Aug 16, 2014Updated 12 years ago