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
- Haskell embedding of PlusCal☆60Updated 2 years ago
- Smash products, Wedge products, and other Pointed stuff☆34Updated 2 years ago
- A total recursion scheme library for Dhall☆65Updated 2 months ago
- Data structures for describing changes to other data structures.☆16Updated last week
- Automatic type class law checking.☆24Updated 11 months ago
- Wailing into the primordial ooze of category theory☆54Updated last month
- First Class Record Fields in Haskell☆17Updated 4 months ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 4 months ago
- Order theory☆23Updated last year
- There are many category theory implementations, but this one is mine☆14Updated 2 months ago
- A collection of libraries I've written for Unison☆11Updated 4 years ago
- Extensible records for Idris☆26Updated 3 years ago
- ☆25Updated 4 months ago
- A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.☆20Updated 2 years ago
- Efficient parser combinators for Haskell☆39Updated 6 months ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Override instances used by Haskell's generic derivation☆30Updated 2 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 3 years ago
- 🎭 Actor library for Haskell☆30Updated last year
- Safe web routing in haskell☆30Updated last year
- A command-line replacement for the Google Authenticator App☆25Updated last year
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Web front UI for interactive Haskell projects☆34Updated 4 years ago
- Provides a type-safe way of working with permutations in Idris☆34Updated 3 years ago
- Yet another yet another recursion scheme library in Haskell.☆87Updated 2 weeks ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- HoTT Note-taking action☆25Updated 5 years ago