C-HD: Lean 4 proof package for a directed single-source shortest-path bound (snapshot 2026-09-20)
☆64Sep 21, 2026Updated last month
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 RAG system that attempts to eliminate relationship hallucinations by fusing a knowledge graph with a vector DB and prioritizing knowled…☆10Apr 10, 2026Updated 7 months ago
- This GitHub repo is a powerhouse collection of automation APIs you can start using immediately to run ops, workflows, and repetitive work…☆30Oct 20, 2026Updated 3 weeks ago
- ☆19Oct 27, 2026Updated 2 weeks ago
- Lua/WASM Actor platform☆16Updated this week
- Sans is a library which supports ios/android/windows/macos/linux using webviewjs and Apple's WKWebView api.☆17Aug 3, 2026Updated 3 months 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.
- A compiler for LEGO® models, built for AI agents.☆20Oct 30, 2026Updated last week
- Public code release for "Medial Axis Preconditioning for Knot Untangling and Volume-Filling Curves" by Yuta Noma, Alec Jacobson, and Kara…☆11Jan 4, 2026Updated 10 months ago
- Computational complexity theory in Lean built on top of CSLib.☆25Updated this week
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆21Oct 23, 2026Updated 2 weeks ago
- Blog on formalizing key transformer invariants.☆26Sep 15, 2026Updated last month
- ☆16Sep 4, 2026Updated 2 months ago
- ALIKED LightGlue ONNX inference☆19Feb 21, 2025Updated last year
- ☆21Nov 3, 2026Updated last week
- A framework for training-free asynchronous agents☆22Updated this week
- 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.
- GladOS is "Gladys' Lovely and Dynamic Operating System" - An operating environment for use by text-based AI personas..☆19Sep 4, 2026Updated 2 months ago
- ☆13Mar 3, 2022Updated 4 years ago
- Evidence-first skills for agentic research: frame, gather evidence, test, verify, and synthesize.☆45Updated this week
- Personal knowledge vault plugin for Claude Code — session recording, memory distillation, and hybrid semantic + BM25 retrieval.☆25Oct 21, 2026Updated 3 weeks ago
- ☆12Jun 12, 2023Updated 3 years ago
- VideoAtlas/VideoRLM: Navigating Long-Form Video in Logarithmic Compute☆22May 19, 2026Updated 5 months ago
- This repository contains an end-to-end data engineering project using Apache Flink, focused on performing sales analytics. The project de…☆12Nov 18, 2023Updated 2 years ago
- An encoding of Alexander Scriabin's solo piano music in kern☆12Jun 16, 2025Updated last year
- Talk to your Obsidian vault with local models. 8ms semantic lookup via Enzyme, ~2,400 lines of TypeScript, any OpenAI-compatible endpoint…☆18Apr 3, 2026Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- PyTorch-based library for various kinds of representational-similarity analysis☆26Jun 7, 2024Updated 2 years ago
- 🌐 Tiny API to get user's favorited items on Hacker News☆12Oct 18, 2022Updated 4 years ago
- A list of known filetypes for the Apple II computer☆10Aug 2, 2020Updated 6 years ago
- Maintained fork of Peter Miller's UCSD P-System tools - Operating System☆14Nov 2, 2025Updated last year
- Generate Jest snapshots from existing storybooks (similar to storyshots).☆13May 15, 2017Updated 9 years ago
- ☆12Aug 31, 2024Updated 2 years ago
- Adleman–Pomerance–Rumely-Cohen-Lenstra primality test (APR-CL)☆10Sep 23, 2026Updated last month
- Apple I BASIC, partially reverse-engineered source code☆14Aug 26, 2020Updated 6 years ago
- hierarchical prototypical networks for few-shot audio tagging☆10Jul 3, 2022Updated 4 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.
- A pretty good double-dummy solver for the card game of Bridge.☆11Oct 3, 2026Updated last month
- PC-ALM☆246Sep 8, 2026Updated 2 months ago
- Official source code for the paper "Neglected Free Lunch from Post-training: Progress Advantage for LLM Agents"☆13Oct 3, 2026Updated last month
- It provides a simple way to interact with the Odin API and access various services related to cybersecurity, certificates, and more☆13Jan 16, 2025Updated last year
- An eight-artist pixel-art fighting game with AI opponents, special attacks, and animated sprite showcases.☆12Sep 15, 2026Updated last month
- The codebase that computed the Ninth Dedekind Number☆13Jan 18, 2026Updated 9 months ago
- Threat Hunting Malware Infrastructure☆12Dec 3, 2023Updated 2 years ago
Are these results useful?