pkamenarsky / synchronLinks
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
Sorting:
- high-powered optics in a small package☆53Updated 8 months ago
- Automatic type class law checking.☆24Updated 5 months ago
- A total recursion scheme library for Dhall☆66Updated last month
- Haskell embedding of PlusCal☆61Updated 3 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Smash products, Wedge products, and other Pointed stuff☆34Updated 3 years ago
- Extensible records for Idris☆25Updated 4 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 5 years ago
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆23Updated 2 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- Core modules for a blazing fast markup combinator library☆22Updated last month
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Lensy interface for parsing CSV's☆42Updated 4 years ago
- There are many category theory implementations, but this one is mine☆16Updated 10 months ago
- Wailing into the primordial ooze of category theory☆55Updated last month
- A small profunctor library for idris☆17Updated 2 years ago
- A command-line replacement for the Google Authenticator App☆25Updated last year
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Updated 4 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Updated 3 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- Experiments with linear types☆14Updated 7 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago