pkamenarsky / synchron
Synchronous programming in Haskell
☆17Updated 4 years ago
Alternatives and similar repositories for synchron:
Users that are interested in synchron are comparing it to the libraries listed below
- A collection of libraries I've written for Unison☆11Updated 4 years ago
- A total recursion scheme library for Dhall☆66Updated last month
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- high-powered optics in a small package☆54Updated 5 months ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Smash products, Wedge products, and other Pointed stuff☆34Updated 2 years ago
- Automatic type class law checking.☆24Updated 2 months ago
- Golden tests for command-line interfaces.☆18Updated 2 years ago
- Extensible records for Idris☆26Updated 3 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.☆20Updated last year
- Wailing into the primordial ooze of category theory☆55Updated 2 weeks ago
- Haskell embedding of PlusCal☆61Updated 2 years ago
- First Class Record Fields in Haskell☆17Updated 2 weeks ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 4 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 8 months ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Efficient parser combinators for Haskell☆39Updated 11 months ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Updated 2 years ago
- There are many category theory implementations, but this one is mine☆15Updated 7 months ago
- Dependently typed elimination functions using singletons☆28Updated 2 months ago
- Alternative and lite implementation of Hoogle☆11Updated 11 months ago
- the dynabook but for haskell☆23Updated 5 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆28Updated 3 years ago
- Override instances used by Haskell's generic derivation☆30Updated 2 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Idris GraphQL☆16Updated 7 years ago