jaybutera / Category-Theory-Notes
Notes on Category Theory For Programmers by Bartosz Milewski
β55Updated 6 years ago
Alternatives and similar repositories for Category-Theory-Notes:
Users that are interested in Category-Theory-Notes are comparing it to the libraries listed below
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.β99Updated 3 years ago
- β48Updated 5 years ago
- π A softer alternative to Haddockβ105Updated 4 years ago
- Simple Haskell http frameworkβ87Updated 6 years ago
- My London HUG talk: Recursion Schemes by Exampleβ50Updated 10 years ago
- Moot is a CFP and event management system!β66Updated 6 years ago
- A free weekly newsletter about the Haskell programming language.β89Updated 5 years ago
- Sonic the Hedgehog 2 in Haskellβ67Updated 3 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.β67Updated 2 years ago
- Create PureScript datatypes from Haskell datatypesβ110Updated 6 months ago
- Source for personal blog.β77Updated 2 months ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonβ¦β155Updated 3 years ago
- A couple of Haskell beginner projects, for ZuriHac 2016β44Updated 6 years ago
- (ARCHIVED) Haskell exercises I wrote for Haskell Learning Groupβ48Updated 7 years ago
- Benchmarks to compare Haskell streaming library performanceβ103Updated 2 months ago
- Show Haskell type annotations when doing code review on Githubβ141Updated 3 years ago
- Check properties on standard classes and data structuresβ79Updated last year
- A PureScript interpreter in Haskellβ119Updated 2 years ago
- Haskell command line text stream processorβ88Updated 5 years ago
- Test projectβ7Updated 2 years ago
- Advent of Code 2017β41Updated 6 years ago
- Translate servant API to purescript code, with the help of purescript-bridge.β106Updated 2 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.β79Updated 4 years ago
- Freckle guides and best practicesβ54Updated this week
- a GHC.Generics-based entity component systemβ78Updated 4 years ago
- β80Updated 5 years ago
- Aligning characters for fun and profit, with Haskell and PureScriptβ75Updated 7 years ago
- Dive into Haskell: Examples of all features of this Pure Functional programing languageβ69Updated last year
- Comma (and other) separated valuesβ76Updated last year
- A lightweight, fast and unintrusive PureScript file-watcherβ136Updated 10 months ago