abingham / categories-for-programmersLinks
A sphinx project for Bartosz Milewski's book "Categories for Programmers"
☆14Updated 7 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:
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Updated last month
 - Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
 - A tutorial for using Emacs with Haskell projects☆42Updated 3 years ago
 - The Haskell Refactoring Tool☆138Updated 5 years ago
 - Algebraic structures for untyped Racket☆78Updated last year
 - Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
 - Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆60Updated 5 years ago
 - ☆12Updated 10 years ago
 - Emacs integration for PureScript's psc-ide tool.☆132Updated 5 months ago
 - ☆94Updated 9 years ago
 - Jupyter notebooks☆58Updated 11 months ago
 - Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
 - Haskell Extensible Shell☆68Updated 5 years ago
 - An embedding of miniKanren in Shen.☆25Updated 10 years ago
 - Relational Programming in miniKanren☆52Updated 10 years ago
 - Elaborate and expressive S-Expression library for Haskell☆63Updated last year
 - A Haskell implementation of the Shen programming language.☆170Updated 7 years ago
 - An idris backend compiling to chez scheme☆48Updated 8 years ago
 - The Ntha Programming Language☆91Updated 8 years ago
 - Slides for my talks at various meetups.☆22Updated last month
 - curses Pac-man game in Haskell -- mostly finished, very playable☆33Updated 6 years ago
 - Company-mode completion back-end for haskell-mode via ghc-mod☆125Updated 7 years ago
 - Examples for the book “Alex and Happy”☆34Updated 10 years ago
 - Examples of the nice parts of Racket☆22Updated 8 years ago
 - A starter-kit for the Scotty web framework☆65Updated 7 years ago
 - Idris Todo web application example☆42Updated 2 years ago
 - Exercises and notes from the Coursera Machine Learning Course by Andrew Ng.☆18Updated 7 years ago
 - A schemy Lisp backed by Haskell☆60Updated 6 years ago
 - A video game framework for haskell☆52Updated 10 years ago
 - A prolog interpreter written in Haskell.☆62Updated 10 years ago