pkamenarsky / synchron
Synchronous programming in Haskell
☆17Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for synchron
- high-powered optics in a small package☆50Updated last month
- A total recursion scheme library for Dhall☆65Updated last week
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Provides a type-safe way of working with permutations in Idris☆34Updated 3 years ago
- Automatic type class law checking.☆24Updated 11 months ago
- There are many category theory implementations, but this one is mine☆14Updated 2 months ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- 🎭 Actor library for Haskell☆30Updated last year
- Crazy experiment, ignore unless you know better☆36Updated 6 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 4 months ago
- Smash products, Wedge products, and other Pointed stuff☆34Updated 2 years ago
- Wailing into the primordial ooze of category theory☆54Updated last week
- Tasty meal of Dhall☆66Updated last year
- Order theory☆23Updated last year
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- A collection of libraries I've written for Unison☆11Updated 4 years ago
- First Class Record Fields in Haskell☆17Updated 5 months ago
- Extensible records for Idris☆26Updated 3 years ago
- Override instances used by Haskell's generic derivation☆30Updated 2 years ago
- Composable Concurrent Computation Done Right☆30Updated last year
- Safe web routing in haskell☆30Updated last year
- Braiding extensible effects together in a pipeline/workflow of tasks☆56Updated last year
- Idris GraphQL☆16Updated 6 years ago
- Efficient non-empty variants of containers data types, with full API☆25Updated 4 months ago
- Dhall support for directed graphs with labeled vertices☆19Updated 3 years ago
- Data structures for describing changes to other data structures.☆16Updated last week
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 3 years ago
- Dual Traversable☆41Updated last year