smudgelang / smudgeLinks
A domain-specific language for state machines.
☆129Updated 5 years ago
Alternatives and similar repositories for smudge
Users that are interested in smudge are comparing it to the libraries listed below
Sorting:
- Test monadic programs using state machine based models☆204Updated 4 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 7 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- An extensible event-driven application framework in haskell☆110Updated 4 years ago
- A Idris Mode for Atom.io☆101Updated 11 months ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆100Updated last year
- optics for Haskell with the most amazing type errors you've seen☆243Updated 5 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- Another implementation of Frank.☆70Updated 7 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆70Updated 5 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆98Updated 3 years ago
- Networks of composable stream transducers☆338Updated 3 months ago
- Systematic concurrency testing meets Haskell.☆197Updated 3 months ago
- Type-safe effectful state machines in Haskell☆94Updated 4 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Updated 7 years ago
- A Distributed Computing Library in Haskell☆52Updated 8 years ago
- ☆88Updated 4 years ago
- Equational laws for free☆257Updated last month
- Haskell library for simple, concise and fast generic operations.☆81Updated last year
- Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & aut…☆181Updated 5 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- Play Minesweeper by formally proving your moves in Idris☆166Updated 9 months ago
- The Disco Discus Compiler☆174Updated 6 years ago
- Composable, streaming, and efficient left folds☆167Updated 5 months ago
- Convert lambda expressions to CCC combinators☆146Updated 9 years ago
- ☆98Updated 7 years ago
- Visualiser for Haskell (GHC) prof files☆197Updated last year
- A small example of using mtl style to unit test effectful code☆106Updated 7 years ago
- Richard A. Eisenberg's PhD Dissertation☆205Updated 6 years ago
- Extensional capabilities and deriving combinators☆217Updated 11 months ago