abingham / categories-for-programmersLinks
A sphinx project for Bartosz Milewski's book "Categories for Programmers"
☆15Updated 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:
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- Exploratory new work on a Haskell Lisp☆16Updated 8 years ago
- ☆12Updated 10 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Algebraic structures for untyped Racket☆77Updated 11 months ago
- Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Updated 9 years ago
- curses Pac-man game in Haskell -- mostly finished, very playable☆33Updated 6 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆17Updated 9 years ago
- A starter-kit for the Scotty web framework☆65Updated 7 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Improved Haskell support for Flycheck☆67Updated 7 months ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- Jupyter notebooks☆58Updated 6 months ago
- A Racket package for creating and composing pure functional lenses☆77Updated 5 years ago
- PureScript solutions for Advent of Code☆17Updated 2 years ago
- Combinators for bidirectional JSON parsing☆21Updated 11 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- ☆58Updated 8 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- The Haskell Refactoring Tool☆136Updated 5 years ago
- Exercises and notes from the Coursera Machine Learning Course by Andrew Ng.☆18Updated 6 years ago
- A simple game in Scheme.☆15Updated 8 years ago
- Comma (and other) separated values☆78Updated last year