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:
- An extended typed Lambda Calculus☆21Updated last year
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Paper: The simple essence of automatic differentiation☆23Updated 7 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆42Updated this week
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 6 months ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 5 months ago
- An elegant implementation of discrete diffgeo in haskell☆34Updated 5 years ago
- An embedded DSL for creating, composing, and using probability measures.☆42Updated 6 years ago
- Haskell bindings to ArrayFire☆60Updated 11 months ago
- Library for invertible parsing and printing☆33Updated 3 months ago
- Interpret Haskell programs into any cartesian closed category.☆67Updated 2 weeks ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Updated 5 years ago
- ☆44Updated 2 years ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Updated 5 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- Order theory☆25Updated 2 years ago
- Practical Deep Learning in Haskell now!☆51Updated 3 years ago
- making data science easy and safe with data frames in haskell☆28Updated 8 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 7 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 7 months ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- Learning about Haskell with Variational Autoencoders☆19Updated 6 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- DeepAlgebra☆25Updated 8 years ago
- An efficient graph library for Haskell☆38Updated 3 months ago
- Monadic Constraint Programming framework☆28Updated 7 years ago