Formally verified polygon intersection
☆46May 30, 2026Updated 2 months ago
Alternatives and similar repositories for verified-polygon-intersection
Users that are interested in verified-polygon-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:
- AI-generated 3D-printable pegboard toy from a hand-drawn sketch☆68Mar 30, 2026Updated 4 months ago
- A Rust library for iterating over random permutations.☆14Jul 5, 2026Updated last month
- Polygon convex partitioning and triangulation.☆13Mar 2, 2022Updated 4 years ago
- guarded interaction trees☆14Jul 6, 2026Updated last month
- CLI to convert Markdown to tiny beautiful PDFs☆22Apr 19, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- DeepDream for video with temporal consistency. Features RAFT optical flow estimation and occlusion masking to prevent ghosting. A PyTorch…☆62Jul 2, 2026Updated last month
- Harbor is where the ships come to rest at the pink sea.☆14Apr 4, 2025Updated last year
- MelGAN and Tacotron 2 in PyTorch☆11Oct 22, 2019Updated 6 years ago
- GitHub Issues on the command line. Use your $EDITOR, not your browser.☆15Apr 4, 2023Updated 3 years ago
- AI-agent skills for distributed-systems testing☆227Jul 21, 2026Updated 3 weeks ago
- COBOLd: Gobblin’ Up COBOL Bugs for Fun and Profit☆10Mar 30, 2018Updated 8 years ago
- C++ raytracer that supports custom models. Supports running the calculations on the CPU using C++11 threads or in the GPU via CUDA.☆74Dec 24, 2022Updated 3 years ago
- Proof of concept for running moshi/hibiki using webrtc☆21Feb 28, 2025Updated last year
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Jul 26, 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.
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- Rise Iran! ایران را پس میگیریم☆18Jan 10, 2026Updated 7 months ago
- An Elixir wrapper around the Rust Lingua language detection library.☆16Apr 6, 2026Updated 4 months ago
- A GitHub Action to delete multiple branches☆12Apr 29, 2021Updated 5 years ago
- Platform for apps☆41Jun 4, 2026Updated 2 months ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13May 21, 2017Updated 9 years ago
- Another Network Tunnel; A simple program for local/remote port forwarding over a SSH tunnel.☆30Dec 2, 2025Updated 8 months ago
- The greatest winamp-inspired native macOS audio player ever!☆30May 8, 2026Updated 3 months ago
- ☆15Dec 21, 2017Updated 8 years ago
- 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.
- MxAccl: open-source code for both the MemryX C++ runtime library and the acclBench benchmarking tool. These components enable seamless in…☆19Apr 2, 2026Updated 4 months ago
- A secure file system for your agents to execute code☆84Updated this week
- Data structures from the book *Purely Functional Data Structures*, implemented in the Julia language.☆16Sep 9, 2023Updated 2 years ago
- ☆18Jul 20, 2023Updated 3 years ago
- A tool for logging everything☆18Jan 20, 2017Updated 9 years ago
- Because no one should manage diabetes alone 💙☆139Updated this week
- Browser extension to create reliable selectors (CSS and Xpath) using AI☆69Jul 2, 2026Updated last month
- A BaaS (Backend-as-a-Service) solution for web applications, inspired by the flexible nature of triplestores. Featuring real-time collabo…☆90Updated this week
- Coq plugin for extracting Rust code☆24Jun 29, 2026Updated last month
- 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.
- ☆11Dec 27, 2023Updated 2 years ago
- ENet implementation in Erlang/OTP☆12Jul 11, 2025Updated last year
- Turn Hydra build job status into a PR/issue-able banner.☆16May 24, 2026Updated 2 months ago
- LangGraph orchestration scaffold (Python) + restricted tool runner (Rust) with batching and run traces.☆17Apr 6, 2026Updated 4 months ago
- Give your AI an operating system. Open-source framework for persistent AI context.☆33Jul 14, 2026Updated last month
- The Elixir package to render Redoc UI from OpenAPI specification.☆12Jun 22, 2026Updated last month
- Allegro 5 bindings for Chicken Scheme☆17Jul 1, 2024Updated 2 years ago