chiroptical / thinking-with-typesLinks
Working through the Thinking with Types book in Haskell
☆35Updated 5 years ago
Alternatives and similar repositories for thinking-with-types
Users that are interested in thinking-with-types are comparing it to the libraries listed below
Sorting:
- ☆42Updated 6 years ago
- ☆29Updated 5 years ago
- ☆49Updated 5 years ago
- Source material for Certainty by Construction☆43Updated last year
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Zippers based on lenses and traversals☆40Updated last year
- ☆38Updated 7 years ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆69Updated 6 months ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- Yet another yet another recursion scheme library in Haskell.☆89Updated this week
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- type level sets☆67Updated 5 years ago
- Example of usage polysemy and servant☆56Updated 5 years ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last year
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell☆52Updated 5 years ago
- Fine-grained lattice primitives for Haskell☆37Updated last month
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- ☆40Updated 5 years ago
- ☆28Updated 7 years ago
- Deriving via☆33Updated 6 years ago
- An example of an "isomorphic" Miso server set up with stack☆43Updated 4 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- checkers for algebra driven design☆34Updated 2 years 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