control-theory
by jwiegley
Control theory in Haskell: Data structures, algorithms and adapters
AI summary
Control Theory Library
A Haskell module implementing concepts and data structures from control theory to modify state machine behavior
- stars
- 80
- forks
- 4
- watching
- 9
Similar projects
Found by comparing what the projects do, not just their names.
Coq interface library
A Coq library providing definitions and notations to facilitate interaction between Haskell developers and the Coq proof assistant.
Category theory library
An axiomatic formalization of category theory in Coq for personal study and practical work
IO controller
A package that allows control operations like exception catching to be lifted from IO monads using monad transformers.
Haskell web UI library
A set of libraries and tools for building web UI using Haskell
Programming guide
Collects notes and solutions to exercises from the book 'Haskell Programming from first principles'
Browser simulator
A Haskell client library for controlling a remote browser session using the Selenium WebDriver protocol
Haskell IDE
A web-based Haskell development playground and compiler environment.
Haskell course
A collection of materials and resources for learning Haskell programming language
Effect handler library
A Haskell library providing an efficient way to handle effects in functional programming
typelead/eta2.6K
Haskell JVM dialect
A Haskell dialect designed to run on the JVM with goals of accessibility and compatibility
UI library
A high-level terminal interface library written in Haskell
Concurrency tutorial
A Haskell adaptation of Go's concurrency tutorial
Haskell library
A standard library for Haskell to provide a common foundation for production software development
Wayland client library
A Haskell implementation of the Wayland protocol's C ABI to provide an elegant interface for writing Wayland programs in Haskell
Haskell tutorial
A comprehensive guide to the Haskell programming language
