A Simple Geometric Constraint Solver
☆25May 29, 2026Updated last month
Alternatives and similar repositories for geometric-constraint-solver
Users that are interested in geometric-constraint-solver 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 portable, drop-in tool for capturing and managing engineering decisions, constraints, and architectural knowledge across projects.☆22Dec 27, 2025Updated 6 months ago
- A stack-based, interpreted programming language implemented in livescript.☆10Sep 11, 2016Updated 9 years ago
- Administrative tool for your ipfs.pics server☆13Aug 16, 2016Updated 9 years ago
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 8 years ago
- A Modeling Notation ꕤ☆15Mar 3, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Python script to seamlessly convert LastPass CSV exports into the format required by Apple's Passwords app. Simplifies migrating your l…☆16Oct 17, 2024Updated last year
- ☆12May 22, 2016Updated 10 years ago
- The Titan programming language.☆12Apr 16, 2024Updated 2 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 5 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated 2 years ago
- Old VPC: see joyent/freebsd-vpc☆10Dec 15, 2023Updated 2 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Apr 8, 2024Updated 2 years ago
- Go client for Fuck off as a Service. http://foaas.com☆10May 21, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Professional Markdown editor with Mermaid diagrams & KaTeX formulas. Zero-config, pure static, export to PDF/HTML. Perfect for technical …☆37Jan 14, 2026Updated 6 months ago
- generate synthetic data for training finite state machines/pushdown automata/turing machines☆17Apr 26, 2024Updated 2 years ago
- Command line tool to flatten XML into a line-oriented, greppable format☆15May 6, 2026Updated 2 months ago
- Local codebase indexing and search tool. Supports hybrid search, flow tracing and impact analysis.☆27May 27, 2026Updated last month
- Concatenative Language☆15Aug 15, 2009Updated 16 years ago
- Complete simulation of IEEE 754 fixed and floating point specification to any precision☆13Aug 26, 2020Updated 5 years ago
- Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)☆21Apr 2, 2013Updated 13 years ago
- __FILE__, __DIR__, __FUNCTION__, __LINE__ for Golang☆14May 11, 2021Updated 5 years ago
- Visualize and inspect custom algorithms with time travelling☆13Feb 20, 2019Updated 7 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.
- Simple C Haskell Compiler☆22Feb 5, 2026Updated 5 months ago
- TUI for managing golang-migrate migrations☆16Jun 6, 2024Updated 2 years ago
- Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the ori…☆10May 13, 2016Updated 10 years ago
- A simplistic AFRP implementation☆13Sep 3, 2015Updated 10 years ago
- A go implementation of metrics reporting for Circonus☆12Sep 23, 2025Updated 9 months ago
- pg_statsd is a set of PostgreSQL user-defined functions that provide and interface to statsd.☆14Nov 24, 2014Updated 11 years ago
- AWK Using Structural Expressions☆15Dec 8, 2025Updated 7 months ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago
- Capsicum shim and utilities for Go.☆10Oct 13, 2017Updated 8 years 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.
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 5 years ago
- translations of a lambda abstraction to combinations of operators☆19Sep 6, 2019Updated 6 years ago
- Drag any song → get perfect stems 100 % offline • No subscriptions • No limits☆136Dec 4, 2025Updated 7 months ago
- Debug as an Effect (DaaE)☆10Apr 22, 2025Updated last year
- Building a compiler to WASM step-by-step☆16Mar 23, 2025Updated last year
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 3 years ago
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 13 years ago