A Simple Geometric Constraint Solver
☆25May 29, 2026Updated 3 months ago
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:
- Closure calculus implementation☆12Jun 25, 2019Updated 7 years ago
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 9 years ago
- A flexible modeling notation Δ☆15Jul 29, 2026Updated last month
- Pipe audio to discord, unix style☆13May 20, 2026Updated 3 months ago
- Rust Logger for Web Browsers☆20May 2, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆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…☆15May 22, 2024Updated 2 years ago
- Waits until the exit code of a program is zero☆15Apr 15, 2022Updated 4 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Apr 8, 2024Updated 2 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- Resumable exceptions and delimited continuations for JVM☆46May 2, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Strongly typed paths in Haskell☆16Nov 14, 2025Updated 10 months ago
- Collection of algorithms in Computational Geometry.☆18Oct 13, 2017Updated 8 years ago
- Dart bindings for the polars library☆13Apr 8, 2024Updated 2 years ago
- A collection of tools to make integrating Axum with the browser easier☆14Sep 9, 2023Updated 3 years 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 4 months ago
- Ideas for the next generation of Haskell's Arrow notation☆12Dec 23, 2019Updated 6 years ago
- Concatenative Language☆15Aug 15, 2009Updated 17 years ago
- ☆17Dec 21, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Complete simulation of IEEE 754 fixed and floating point specification to any precision☆13Aug 26, 2020Updated 6 years ago
- Fork of Loki keeping the Apache License☆10Sep 11, 2026Updated last week
- __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
- Generic prefix tree for golang☆12Apr 25, 2025Updated last year
- TUI for managing golang-migrate migrations☆16Jun 6, 2024Updated 2 years ago
- A go implementation of metrics reporting for Circonus☆12Sep 23, 2025Updated 11 months ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆16Sep 16, 2021Updated 5 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
- 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 simplistic AFRP implementation☆13Sep 3, 2015Updated 11 years ago
- A Go-backed web RDP client (and reference client implementation)☆17Jul 9, 2026Updated 2 months ago
- A list of email addresses from apps that send notifications☆13Mar 9, 2016Updated 10 years ago
- pg_statsd is a set of PostgreSQL user-defined functions that provide and interface to statsd.☆14Nov 24, 2014Updated 11 years ago
- Capsicum shim and utilities for Go.☆10Oct 13, 2017Updated 8 years ago
- 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 7 years ago