zenzike / yodaLinks
A simple combinator library
☆29Updated 6 years ago
Alternatives and similar repositories for yoda
Users that are interested in yoda are comparing it to the libraries listed below
Sorting:
- checkers for algebra driven design☆34Updated 2 years ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- ☆18Updated 4 years ago
- higher-kinded data☆30Updated 2 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Type-level well-kinded natural numbers.☆34Updated 5 months ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- type level sets☆67Updated 5 years ago
- Session Types with Priority in Linear Haskell☆26Updated 11 months ago
- Difference lists in Haskell☆65Updated 11 months ago
- Hedgehog will eat your typeclass bugs☆56Updated this week
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 4 months ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- 👅 Parse Haskell Language Extensions☆48Updated last week
- Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck☆36Updated 3 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- Lightweight package providing commonly useful parser combinators☆54Updated 4 months ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Haskell time library focusing on performance☆57Updated 5 months ago
- Reimplementation of Parsley in Haskell, with improvements☆56Updated last year
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Pre-processor for .hsc files☆41Updated 2 months ago
- A collection of Notes on GHC☆69Updated 6 years ago
- ☆22Updated 6 months ago