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 3 weeks ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Some numerical optimization methods implemented in Haskell☆47Updated 5 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
- An efficient graph library for Haskell☆38Updated last week
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 9 months ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Agda-style equational reasoning in Haskell☆54Updated 4 months ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 4 months ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- Haskell bindings to ArrayFire☆60Updated 8 months ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆39Updated last week
- A collection of useful uses of GPT (and other LLMs), organized as examples☆16Updated 2 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated last year
- making data science easy and safe with data frames in haskell☆27Updated 8 years ago
- An embedded DSL for creating, composing, and using probability measures.☆41Updated 5 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 6 years ago
- Julia embedded in Haskell☆52Updated 8 months ago
- Learning about Haskell with Variational Autoencoders☆19Updated 5 years ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Constructive Galois connections☆35Updated 7 years ago
- Haskell library containing common graph search algorithms☆53Updated 2 months ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Order theory☆25Updated last year
- Paper: The simple essence of automatic differentiation☆22Updated 6 years ago