Control theory in Haskell: Data structures, algorithms and adapters
☆80Jan 14, 2019Updated 7 years ago
Alternatives and similar repositories for control-theory
Users that are interested in control-theory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Authenticated Data Structures☆16Jul 5, 2015Updated 11 years ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 5 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆38Oct 25, 2024Updated last year
- 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.
- An append only list in a compact region☆25Sep 6, 2018Updated 7 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Feb 15, 2019Updated 7 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Jan 18, 2020Updated 6 years ago
- Ties the knot on data structures that reference each other by unique keys☆48Aug 2, 2024Updated last year
- Union mount in Haskell, with fsnotify☆12May 11, 2026Updated 2 months ago
- 👁️ Isometric 3D Graphing / Rendering module for Haskell☆15Sep 2, 2017Updated 8 years ago
- type level sets☆67Nov 19, 2019Updated 6 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆165Nov 29, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An efficient graph library for Haskell☆41Aug 26, 2025Updated 10 months ago
- Unification and type inference algorithms☆127Feb 21, 2015Updated 11 years ago
- Integration of the Warp webserver with Let's Encrypt☆19Mar 7, 2017Updated 9 years ago
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 5 years ago
- Write yourself a typed functional language☆65Oct 11, 2018Updated 7 years ago
- Haskell typechecker☆39May 7, 2019Updated 7 years ago
- A thread-safe hash table in Haskell☆15Feb 28, 2020Updated 6 years ago
- An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"☆17Jan 26, 2018Updated 8 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- 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.
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Property based testing for Servant using Hedgehog☆19Apr 25, 2021Updated 5 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆38Dec 22, 2025Updated 7 months ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Parser and type analysis for the Go programming language☆12Apr 3, 2026Updated 3 months ago
- Arbitrary dimension type-safe grids☆24Nov 16, 2023Updated 2 years ago
- Combine and enhance Functors☆39Aug 12, 2025Updated 11 months ago
- Dependently typed elimination functions using singletons☆27Jan 11, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 5 years ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- Haskell bindings to ArrayFire☆60Jun 23, 2026Updated last month
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 5 years ago
- A simple type-safe query EDSL☆15Jan 9, 2019Updated 7 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- High level AWS CloudFormation language and compiler☆15Feb 28, 2019Updated 7 years ago