smudgelang / smudge
A domain-specific language for state machines.
☆128Updated 5 years ago
Alternatives and similar repositories for smudge:
Users that are interested in smudge are comparing it to the libraries listed below
- Test monadic programs using state machine based models☆203Updated 3 years ago
- Slides & demos for talks I do☆59Updated 4 years ago
- Type-safe effectful state machines in Haskell☆95Updated 4 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆65Updated 6 years ago
- Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & aut…☆181Updated 5 years ago
- A Idris Mode for Atom.io☆101Updated 8 months ago
- Networks of composable stream transducers☆338Updated 3 weeks ago
- Extensional capabilities and deriving combinators☆214Updated 8 months ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- Benchmarks to compare Haskell streaming library performance☆103Updated 4 months ago
- Another implementation of Frank.☆70Updated 7 years ago
- An extensible event-driven application framework in haskell☆110Updated 4 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated last year
- Haskell library for simple, concise and fast generic operations.☆79Updated last year
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 5 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 6 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- A simple, flexible and composable web-router☆85Updated 5 years ago
- Kind-safe framework for type-safe APIs☆78Updated 5 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆99Updated 3 years ago
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆105Updated 6 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆139Updated 4 years ago
- Convert lambda expressions to CCC combinators☆146Updated 9 years ago
- High performance type safe html generation☆128Updated 2 years ago
- ☆88Updated 4 years ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 8 years ago