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 5 months ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 4 months ago
- Interpret Haskell programs into any cartesian closed category.☆66Updated last month
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- An extended typed Lambda Calculus☆21Updated last year
- Paper: The simple essence of automatic differentiation☆23Updated 6 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated last year
- ☆44Updated 2 years ago
- Haskell bindings to ArrayFire☆60Updated 10 months ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- An elegant implementation of discrete diffgeo in haskell☆34Updated 5 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Updated 5 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆40Updated this week
- Agda-style equational reasoning in Haskell☆54Updated 6 months ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 6 months ago
- Operad Programming Language in Haskell, by David Darais☆32Updated 11 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 11 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- An embedded DSL for creating, composing, and using probability measures.☆42Updated 6 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- Haskell library for representing and manipulating Symbolic Regression Tree☆14Updated this week
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago