abingham / categories-for-programmers
A sphinx project for Bartosz Milewski's book "Categories for Programmers"
☆15Updated 6 years ago
Related projects: ⓘ
- Haskell Semantics with Lisp Syntax☆66Updated 10 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 4 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 9 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 9 years ago
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- An idris backend compiling to chez scheme☆47Updated 6 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 5 years ago
- Algebraic structures for untyped Racket☆75Updated 2 months ago
- Exploratory new work on a Haskell Lisp☆16Updated 8 years ago
- (Somewhat) Algebraic Data Types for Racket☆35Updated last year
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- Examples of the nice parts of Racket☆22Updated 6 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 8 years ago
- ☆11Updated 9 years ago
- A package for managing a static, mathematically-inclined web log☆25Updated 8 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 6 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 4 years ago
- SDL2 Bindings for the Idris programming language☆10Updated 4 years ago
- Utilities for using the Fay Haskell-to-JS compiler with Yesod.☆24Updated 5 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- ☆41Updated 9 years ago
- The Ntha Programming Language☆93Updated 7 years ago
- 2048 in Idris☆121Updated 6 years ago
- ☆21Updated 7 years ago
- A port of sweet expressions to Racket☆47Updated last year