C-HD: Lean 4 proof package for a directed single-source shortest-path bound (snapshot 2026-09-20)
☆63Sep 21, 2026Updated 3 weeks ago
Alternatives and similar repositories for c-hd-proof
Users that are interested in c-hd-proof 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 Dark Factory agentic project. A Universal console shell, city-as-code metaphor. Cross platform Vulkan and Metal, PC & Mac. Powersh…☆69Oct 10, 2026Updated last week
- Tiny, dead simple, high performance endianness conversions for Rust☆11Sep 7, 2025Updated last year
- PC-ALM☆240Sep 8, 2026Updated last month
- iFISH Probe Design: a Python3 package to build iFISH probes.☆12Mar 11, 2022Updated 4 years ago
- A fruit fly connectome as a drone pilot. Camera -> fly eyes -> spiking brain -> descending neurons -> drone. Live 3D demo in your browser…☆258Sep 16, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A curated list of papers and resources on Recursive Self-Improvement (RSI) for AI.☆164Oct 1, 2026Updated 2 weeks ago
- Swap the personal details out of your AI prompts before they are sent. On-device detection, no server, no account.☆46Sep 19, 2026Updated 3 weeks ago
- Software to estimate oligonucleotide duplexes melting temperature. Includes state-of-the-art monovalent (e.g., Na+) and bivalent (Mg2+) i…☆12Sep 18, 2022Updated 4 years ago
- All my walkthroughs for HTB Academy labs in the Active Directory Module ( CPTS path ). Includes folder of canvas files for Obsidian.☆67Apr 27, 2026Updated 5 months ago
- An infinite physically rolling paper strip that prints an endless portfolio built in Three.js with Fable 5☆74Jul 22, 2026Updated 2 months ago
- Rainbow spider that X-rays memecoins: bundles, linked wallets, dev history. Scanner, Telegram bot, live Bundle Index.☆214Oct 9, 2026Updated last week
- Modular Cognitive Architecture Emerges in Large Language Models☆69Jul 24, 2026Updated 2 months ago
- Local AI registry: one validated recipe per machine, with the evidence attached☆254Updated this week
- czi reader from https://www.lfd.uci.edu/~gohlke/code/czifile.py.html☆14Oct 15, 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.
- A model for high-frequency mathematical intelligence.☆150Oct 6, 2026Updated last week
- ☆515Oct 2, 2026Updated 2 weeks ago
- Games above the Claude Code prompt: snake, Tetris, 2048, Minesweeper, Flappy, Pong, a typing test and Space Invaders, plus a pet that gro…☆44Sep 15, 2026Updated last month
- ☆17Sep 26, 2026Updated 3 weeks ago
- A CLI to generate and serve your crates documentation with hot-reloading during development.☆20Aug 7, 2026Updated 2 months ago
- Run several Codex desktop accounts side by side, each with its own separate profile and login.☆46Oct 8, 2026Updated last week
- A procedural cinematic short film with a Higgsfield-generated score, sound effects, and narration.☆40Aug 6, 2026Updated 2 months ago
- Download your Ring doorbell videos from The Cloud™☆13Dec 10, 2022Updated 3 years ago
- Run recurring commands on your Mac without learning launchd.☆46Aug 3, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Hemmingway-1: a 27B model that writes the way a person writes. Open weights, free for non-commercial use (CC BY-NC 4.0); commercial use b…☆43Oct 1, 2026Updated 2 weeks ago
- An agent skill that plays ARC-AGI-3. One rule: say what an action will do before you spend it. Claude Code on Opus 5 finished all 25 publ…☆90Aug 19, 2026Updated last month
- Claude Code skill that scans a codebase and generates a self-contained HTML service-design journey map (NN/g combined customer journey + …☆91Updated this week
- Greener design is free time activity project.☆12May 20, 2018Updated 8 years ago
- GLM-5.2 NVFP4+AQLM on 3× DGX Spark — 380k context MTP serve stack☆72Aug 2, 2026Updated 2 months ago
- 🧹 Fun project: a Chrome extension that asks a tiny AI decision model (TypeSafe Jev) "is this DOM element an ad?" and pops it off the pag…☆91Sep 17, 2026Updated last month
- ☆40Sep 7, 2026Updated last month
- ComfyUI-KokoroTTS: A text-to-speech model that utilizes the Kokoro TTS framework to convert text into natural-sounding speech. It suppor…☆13Apr 18, 2025Updated last year
- Desktop App For Command Code☆99Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- StepFun's flagship model for agentic work☆61Updated this week
- A Spraylist implementation in Rust☆16Feb 9, 2026Updated 8 months ago
- Opens up a Rust enum to allow for non-specified values☆19Sep 28, 2026Updated 2 weeks ago
- Self-improving Codex loop: DeepSeek runs the task, Luna grades it, Sol rewrites the prompt until it is done☆47Sep 16, 2026Updated last month
- Windows XP の Explorer を Wine 上で Linux のデスクトップシェルとして動かす / Run Windows XP's shell as the Linux desktop on Wine☆126Updated this week
- Client-side retrieving and rendering of interactions from the web☆16Sep 5, 2026Updated last month
- Unofficial M1/M2 port of Inco's Splash (upstream is M3+ only): Metal kernels written for Apple7/8 GPUs, prebuilt releases.☆130Updated this week