Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
☆110Aug 1, 2026Updated 3 months ago
Alternatives and similar repositories for verified-3d-mesh-intersection
Users that are interested in verified-3d-mesh-intersection are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆23Updated this week
- A stylized lightning strike VFX built with Three.js (Procedural bolt generation, ground cracks, sparks, and camera shake).☆15Mar 27, 2026Updated 7 months ago
- Make your specs actually comprehensive. Pair your specs with tests to make your coding agent stop improvising bad code☆24Oct 12, 2026Updated 3 weeks ago
- Triangle mesh designed to be fast, efficient, and sphere capable.☆14Feb 10, 2026Updated 8 months ago
- An 8-bit computer. Successor to MSAP-1☆13Aug 3, 2026Updated 3 months ago
- 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.
- Speedrunning LoRA fine-tuning: frozen task, frozen hardware, public wall-clock leaderboard. modded-nanogpt for fine-tuning.☆151Sep 12, 2026Updated last month
- Write Python modules in Lean! (WIP)☆17Oct 28, 2026Updated last week
- A language model that lives in a boot sector☆99Updated this week
- A Docker image for running the ACL2 theorem proving system and books in JupyterLab.☆14Oct 18, 2026Updated 2 weeks ago
- C compiler in Zig☆22Jul 20, 2025Updated last year
- Linux filesystem defragger written in Rust and Qt Quick/Kirigami☆65Aug 25, 2026Updated 2 months ago
- Formally verified polygon intersection☆49May 30, 2026Updated 5 months ago
- Rust crate for Forward Error Correction☆52Aug 8, 2026Updated 2 months ago
- Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine☆28Updated this week
- 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.
- Real time event intelligence, fraud and risk decisioning for financial behavior.☆236Updated this week
- Robust mesh boolean library in pure Rust☆34Oct 28, 2026Updated last week
- Benchmark coding agents and models on your own repository with private Harbor-formatted evals built from its merged pull requests.☆34Updated this week
- Lean specification of neural architectures with verified GPU codegen.☆48Updated this week
- Algebra engine.☆60Oct 30, 2026Updated last week
- ☆13Aug 30, 2025Updated last year
- A full-stack web and TUI framework inspired by Yesod and Elm.☆13Oct 29, 2026Updated last week
- ☆106Aug 29, 2026Updated 2 months ago
- Wardnet is a self-hosted network privacy gateway that runs on linux (docker or bare metal). It sits alongside an existing home or small-o…☆26Updated this week
- 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.
- Static purity and effect analysis for Clojure.☆19Oct 24, 2026Updated last week
- A script driven CAD program with dimensional analysis.☆55Sep 29, 2026Updated last month
- layerleak the Docker Hub Secret Scanner☆44Oct 30, 2026Updated last week
- A sourced model and short report: can Europe train a sovereign frontier AI model on the public compute it already owns, while gigawatt da…☆46Jun 15, 2026Updated 4 months ago
- High-Performance Hyperbolic Sparse Autoencoders for Mechanistic Interpretability☆13Aug 15, 2026Updated 2 months ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- An OKF-backed Model Context Protocol (MCP) server delivering persistent long-term memory and SQLite FTS5 search for AI agents.☆222Aug 30, 2026Updated 2 months ago
- Live breath detection and biofeedback using a phone microphone. On-device, no speech analysis, no raw audio upload.☆45Jun 3, 2026Updated 5 months ago
- A small, Git-native build tool and package manager for C/C++. One manifest file, no CMake.☆32Oct 25, 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.
- Lean4: Total parser combinator library with do notation☆23Sep 9, 2026Updated last month
- tools and benchmarks for verified coding☆35Jun 5, 2026Updated 5 months ago
- Make Any DOM Reactive☆123Sep 6, 2026Updated 2 months ago
- Write infrastructure once, compile it to Kubernetes, Compose, or GitHub Actions☆16Sep 4, 2026Updated 2 months ago
- [ABANDONED] An attempt to port the concur library to PureScript.☆20Feb 21, 2018Updated 8 years ago
- Donkey, often known by its file name DONKEY.BAS, is a computer game written in 1981 by Microsoft co-founder Bill Gates and Neil Konzen. T…☆15Aug 13, 2026Updated 2 months ago
- Evidence-grounded market research prototype with traceable AI workflows.☆39Aug 6, 2026Updated 3 months ago