QuickProof: from executable C properties to machine-checked proofs (export mirror)
☆36Nov 4, 2026Updated this week
Alternatives and similar repositories for quickproof-public
Users that are interested in quickproof-public are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Laws about stateful rules, proven in TypeScript: a small trusted kernel, an untrusted prover, a Lean twin, and GPU searches for counterex…☆29Updated this week
- Second coursework & case from Sber Data Science competition. Links to scientific papers to which I will refer will be here.☆13Nov 12, 2021Updated 4 years ago
- Turn one hidden activation of Qwen3-VL into a picture with FLUX.2 [klein], no text in the image path, read back directly by the same mode…☆18Updated this week
- ssftalk: Pure-Rust, Apache-2.0 Drop-In ElevenLabs Voice API (v1) Equivalent, Full-Duplex Rooms & Audio-LLM Mechanistic Interpretability E…☆16Oct 20, 2026Updated 2 weeks ago
- Native compact Nix build output with full local logs, bounded diagnostics, and a flake interface☆19Oct 23, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- TypeScript is a superset of JavaScript that compiles to clean JavaScript output.☆16Oct 16, 2026Updated 3 weeks ago
- Neural networks trained in Bend 2: typed forward/backward layers, laws checked by the kernel, agreement with PyTorch☆18Updated this week
- A Git workflow plugin for the Godot 4 editor!☆16Oct 14, 2026Updated 3 weeks ago
- Nous Portal profile tuned for low spend: a low-cost main model, with vision, compression, titles and approvals pinned to low-cost models …☆18Oct 2, 2026Updated last month
- Real letters by ordinary people, 1395–1929, written out live by writers who never existed. Every hand is a free font.☆62Updated this week
- OpenClaw-style theorem proving☆29Aug 21, 2026Updated 2 months ago
- Agree on a program. Run it together. Verify what happened. Wasm + p2p + state machines + verifiability☆15Oct 5, 2026Updated last month
- Collection of useful Dagger modules☆35Updated this week
- Command-line tool to identify useragents that bypasses proxy restrictions☆14Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Real-time ornamental grass in WebGL2, with reference recordings and an offline iPhone app.☆37Updated this week
- The official ToolPlex client for AI agent tool discovery and execution☆17Oct 10, 2026Updated 3 weeks ago
- A Job Board for Formal Verification☆97Updated this week
- ☆17May 21, 2026Updated 5 months ago
- suite of tools and mcp server for quickly making retro console roms and romhacks☆27Updated this week
- F# Extensions and modules around Dictionary<'T>☆11Oct 30, 2026Updated last week
- Experiments on whether language models can learn to detect read-only activation probes☆69Oct 26, 2026Updated last week
- A tool to connect SMT-based frontends to Lean4.☆21Updated this week
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆18Oct 15, 2026Updated 3 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Idiomatic F# support for CliWrap☆14Updated this week
- An AI-native Prometheus dashboard.☆10Jul 10, 2026Updated 3 months ago
- A repository for expand-motion☆298Updated this week
- reproducing the flapping airplanes megakernel, in collab with magni☆131Updated this week
- Rust 6×6 Crazyhouse engine that reached #1 in the world on Chess.com: alpha-beta, PVS, LMR, self-play training, PyO3 bindings, Python GUI…☆16Aug 13, 2026Updated 2 months ago
- HTTP proxy with per user download quotas☆10Feb 24, 2023Updated 3 years ago
- ☆12Feb 4, 2024Updated 2 years ago
- Cranelift JIT-powered 2D vector graphics library in Rust☆11Updated this week
- Composable Bend 2 frontend: checks full Bend and exports a typed Core.Program for backends.☆39Sep 30, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Ephemeral side questions for Pi Coding Agent — ask /btw without interrupting the main session☆10Apr 30, 2026Updated 6 months ago
- Small, configurable proof search for inductive Lean goals☆27Sep 30, 2026Updated last month
- Formalizing the Intel 4004 microprocessor☆26Jul 14, 2026Updated 3 months ago
- ☆16Nov 16, 2024Updated last year
- LLM inference in F#☆14Mar 13, 2026Updated 7 months ago
- The iOS repository of Pera☆12Jun 16, 2026Updated 4 months ago
- Actor model for typelevel ecosystem☆20May 30, 2025Updated last year