control-theory
Control Theory Library
A Haskell module implementing concepts and data structures from control theory to modify state machine behavior
Control theory in Haskell: Data structures, algorithms and adapters
80 stars
9 watching
4 forks
Language: Haskell
last commit: about 6 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| jwiegley/coq-haskell | A Coq library providing definitions and notations to facilitate interaction between Haskell developers and the Coq proof assistant. | 168 |
| jwiegley/category-theory | An axiomatic formalization of category theory in Coq for personal study and practical work | 759 |
 basvandijk/monad-control | A package that allows control operations like exception catching to be lifted from IO monads using monad transformers. | 58 |
 joelburget/react-haskell | A set of libraries and tools for building web UI using Haskell | 352 |
 dwayne/haskell-programming | Collects notes and solutions to exercises from the book 'Haskell Programming from first principles' | 95 |
 haskell-webdriver/haskell-webdriver | A Haskell client library for controlling a remote browser session using the Selenium WebDriver protocol | 191 |
 haskell/play-haskell | A web-based Haskell development playground and compiler environment. | 130 |
 byorgey/haskell-course | A collection of materials and resources for learning Haskell programming language | 275 |
 xnning/eveff | A Haskell library providing an efficient way to handle effects in functional programming | 82 |
 typelead/eta | A Haskell dialect designed to run on the JVM with goals of accessibility and compatibility | 2,612 |
 jtdaugherty/vty | A high-level terminal interface library written in Haskell | 318 |
 syocy/a-tour-of-go-in-haskell | A Haskell adaptation of Go's concurrency tutorial | 130 |
 commercialhaskell/rio | A standard library for Haskell to provide a common foundation for production software development | 846 |
 abooij/sudbury | A Haskell implementation of the Wayland protocol's C ABI to provide an elegant interface for writing Wayland programs in Haskell | 90 |
 denisshevchenko/ohaskell.guide | A comprehensive guide to the Haskell programming language | 263 |