Collatz conjecture in Lean
☆30Jul 26, 2026Updated 2 months ago
Alternatives and similar repositories for CollatzLean
Users that are interested in CollatzLean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A proof of the consistency of ZF in axiom-free Lean☆23Sep 19, 2026Updated last month
- Tracking code patterns through software versions☆25Jun 18, 2024Updated 2 years ago
- Property-based testing for OCaml, built on Hypothesis☆25Updated this week
- Collection of Catala programs☆18Sep 25, 2026Updated 3 weeks ago
- 🪩 verify plonky3 proofs in plonky2☆20Mar 28, 2024Updated 2 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.
- ☆24Sep 28, 2026Updated 3 weeks ago
- A Typst package for creating custom shorthands for math equations.☆25Feb 28, 2025Updated last year
- Mozak RISC-V Virtual Machine☆24Mar 24, 2025Updated last year
- llm-d-batch-gateway is a standalone, backend-agnostic, OpenAI-compatible batch API and processing engine☆27Updated this week
- A BitTorrent daemon☆19Jul 29, 2026Updated 2 months ago
- ☆31Jun 4, 2025Updated last year
- 🕹 Implementation for the lesson Compiling Engineering(2020 Spring) in Peking University, adjusted from UCLA CS 132 Project.☆10Jun 21, 2020Updated 6 years ago
- A High-performance Timing Analysis Tool for VLSI Systems☆10Feb 11, 2021Updated 5 years ago
- Type Checking in Lean 4☆41Mar 22, 2026Updated 7 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- SVD-Loader-Ghidra with customization for RP2040☆12Feb 25, 2023Updated 3 years ago
- Constraints API☆18Oct 15, 2025Updated last year
- My personal HTML/CSS presentation slides editor.☆15Sep 22, 2026Updated last month
- ngcc artifacts☆46Updated this week
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- 🐋 Cloud and AI-native multi-agent orchestration platform for Kubernetes☆33Updated this week
- A library to parse BLIF (Berkeley Logic Interchange Format) files.☆10Mar 11, 2015Updated 11 years ago
- Based OP stack☆29Jan 7, 2026Updated 9 months ago
- The reversed code of Ballance.☆47Oct 11, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A command-line tool for scripting AI-driven code edits.☆14Sep 25, 2026Updated 3 weeks ago
- Black hole visualization☆18Jul 29, 2026Updated 2 months ago
- Older python debugger (please use python-trepan2 or python3-trepan instead)☆24Dec 26, 2012Updated 13 years ago
- Optimal haplotype assembly of polyploids☆10Mar 29, 2019Updated 7 years ago
- An external lean checker with a proof of consistency☆140Updated this week
- If you smash it, you get to keep the pieces.☆31Nov 10, 2019Updated 6 years ago
- A cargo-generate template for creating a new extension for Zed editor☆12Oct 11, 2025Updated last year
- ☆18Oct 8, 2026Updated last week
- ☆17Aug 8, 2021Updated 5 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.
- ☆11Aug 16, 2023Updated 3 years ago
- Utilities for paper writing.☆12Jan 11, 2026Updated 9 months ago
- ET (IPL) language interpreters and literature☆26Feb 15, 2019Updated 7 years ago
- An Emacs profile switcher and manager using Chemacs2 and Rofi!☆11Feb 28, 2023Updated 3 years ago
- Zetta - An Emacs distribution☆14Updated this week
- Code for a tutorial on parsing with Menhir☆14Aug 25, 2021Updated 5 years ago
- ☆15Jul 4, 2026Updated 3 months ago