abingham / categories-for-programmersLinks
A sphinx project for Bartosz Milewski's book "Categories for Programmers"
☆14Updated 8 years ago
Alternatives and similar repositories for categories-for-programmers
Users that are interested in categories-for-programmers are comparing it to the libraries listed below
Sorting:
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- ☆94Updated 9 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Updated 2 months ago
- Algebraic structures for untyped Racket☆78Updated last year
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- A tutorial for using Emacs with Haskell projects☆42Updated 3 years ago
- Haskell Semantics with Lisp Syntax☆69Updated 11 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 7 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 10 years ago
- Monads for Racket (!)☆21Updated 10 years ago
- Exercises and notes from the Coursera Machine Learning Course by Andrew Ng.☆18Updated 7 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆60Updated 5 years ago
- *DEPRECATED* Emacs interface to Cabal and Stack☆29Updated 7 years ago
- S-expression-based syntax alternative for Haskell.☆22Updated 11 years ago
- A starter-kit for the Scotty web framework☆65Updated 7 years ago
- ☆12Updated 10 years ago
- Jupyter notebooks☆58Updated 3 weeks ago
- A Racket package for creating and composing pure functional lenses☆79Updated 6 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 10 years ago
- curses Pac-man game in Haskell -- mostly finished, very playable☆33Updated 6 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- The Ntha Programming Language☆91Updated 9 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Invertible parsing for S-expressions☆34Updated 8 months ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- Elaborate and expressive S-Expression library for Haskell☆65Updated last year
- Examples of the nice parts of Racket☆22Updated 8 years ago