jwiegley / control-theoryLinks
Control theory in Haskell: Data structures, algorithms and adapters
☆80Updated 6 years ago
Alternatives and similar repositories for control-theory
Users that are interested in control-theory are comparing it to the libraries listed below
Sorting:
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 3 months ago
- Interpret Haskell programs into any cartesian closed category.☆63Updated 2 months ago
- making data science easy and safe with data frames in haskell☆27Updated 8 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 2 months ago
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- ☆44Updated 2 years ago
- Haskell bindings to ArrayFire☆60Updated 7 months ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- An efficient graph library for Haskell☆38Updated 2 months ago
- Queues with verified and unverified versions☆9Updated 8 years ago
- Haskell bindings to SymEngine☆27Updated last year
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Paper: The simple essence of automatic differentiation☆22Updated 6 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- An extended typed Lambda Calculus☆21Updated last year
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 3 months ago
- Agda-style equational reasoning in Haskell☆54Updated 4 months ago
- Practical Deep Learning in Haskell now!☆52Updated 2 years ago
- Order theory☆25Updated last year
- A collection of useful uses of GPT (and other LLMs), organized as examples☆16Updated 2 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 11 months ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 6 years ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆39Updated this week