ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
☆16Nov 12, 2018Updated 7 years ago
Alternatives and similar repositories for limp
Users that are interested in limp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years ago
- The prelude.☆16Apr 3, 2019Updated 7 years ago
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- ☆11Apr 3, 2020Updated 6 years ago
- Simple testing toolkit☆10May 28, 2021Updated 5 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 message-passing library, intended for simplifying network applications☆44Apr 7, 2018Updated 8 years ago
- pure Haskell implementation of reduced ordered binary decision diagrams☆11Mar 15, 2024Updated 2 years ago
- Code from my StrangeLoop 2014 Idris presentation.☆13Sep 20, 2014Updated 12 years ago
- Traditional sparse linear algebra in Haskell☆12Jul 25, 2021Updated 5 years ago
- Bring fusion to everyone☆15Feb 6, 2020Updated 6 years ago
- An experiment in re-implementing big integers in Haskell.☆39Dec 9, 2022Updated 3 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 4 years ago
- A high level file watcher DSL☆41Dec 20, 2023Updated 2 years ago
- playground for working with succinct data structures☆96Oct 24, 2015Updated 11 years ago
- 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.
- Haskell client driver for RethinkDB☆20Mar 14, 2021Updated 5 years ago
- The Disco Discus Compiler☆176Feb 6, 2019Updated 7 years ago
- Verifying Integer Programming Results☆10Jan 7, 2025Updated last year
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 6 years ago
- Binary streaming library for Postgres data pipelines☆18Oct 2, 2019Updated 7 years ago
- Statistical data visualization☆11Nov 26, 2016Updated 9 years ago
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 8 years ago
- Haskell bindings to glpk☆13Jun 10, 2024Updated 2 years 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.
- ☆25Jun 10, 2023Updated 3 years ago
- [Deprecated] A "PostgreSQL" driver for the "hasql" library☆19Oct 27, 2018Updated 8 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22May 6, 2024Updated 2 years ago
- Library of simd functions☆19Jun 13, 2026Updated 4 months ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆22Sep 21, 2026Updated last month
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 9 years ago
- A build tool and library for virtual machines.☆19Apr 19, 2023Updated 3 years ago
- My branch of the Cyclone programming language☆19Jul 8, 2011Updated 15 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆18Mar 17, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- View poses coming out of pose estimation networks.☆11Mar 25, 2023Updated 3 years ago
- CLI tool for Hackage☆27Aug 23, 2026Updated 2 months ago
- ☆66Jul 19, 2025Updated last year
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated last year
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 7 years ago
- Fast and flexible k-d trees for various types of point queries.☆25Jun 17, 2024Updated 2 years ago
- fast clustering algorithms☆15Feb 13, 2019Updated 7 years ago