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:
- ☆50Updated 5 years ago
- ☆44Updated 6 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated 2 months ago
- First-class type families☆88Updated last month
- 🏷 Web application to help beginners to start contributing into Haskell projects☆59Updated 4 years ago
- ☆37Updated 7 years ago
- ☆51Updated 3 years ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- Experimental, user-contributed effects and interpreters for polysemy☆72Updated 2 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆97Updated 3 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 4 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆84Updated 3 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Comonads By Example Conference talk☆89Updated 6 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 5 years ago
- Source material for Certainty by Construction☆44Updated last year
- ☆28Updated 7 years ago
- Trying to get back all the stuff I had in JavaScript.☆69Updated 6 years ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 7 years ago
- ♾️ Sized list☆46Updated last year
- type level sets☆67Updated 5 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆81Updated 5 years ago
- A PureScript interpreter in Haskell☆121Updated 3 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated 2 years ago
- Example of usage polysemy and servant☆57Updated 6 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 5 years ago
- Yet another yet another recursion scheme library in Haskell.☆89Updated last month
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- An example of an "isomorphic" Miso server set up with stack☆43Updated 5 years ago