cat-theory-lambdaconf-wr-2017

Stars
10
View Code on GitHub View on X
Ecosystems: Haskell

No README available, please check again later.

Related Projects
haskell-lambda-calculus

A simple lambda calculus interpreter in Haskell.

27 Dec 2014 7
cabal-audit

29 Jul 2023 6
hinc

Haskell In New Clothes

03 Aug 2020 110
hssophia

Haskell bindings for the Sophia key/value store

16 Sep 2013 9
lens-examples

A handful of small examples of parts of the Haskell `lens` package

23 Aug 2019 8
lambda

An exploration and implementation of the lambda calculus.

31 Jan 2016 12
squares

The double category of Hask functors and profunctors

20 May 2020 8
soap.io

08 Apr 2017 6
sarif

Haskell library for reading and writing SARIF files

21 Dec 2022 1
HaskellsGameOfLife

A simple implementation of Conway's Game of Life

15 Nov 2019 7
lambdaconf-2015-web

Projects for LambdaConf 2015 Haskell web workshop

29 Apr 2015 62
category-theory-for-programmers-challenges

Challenges from Category Theory for Programmers

03 Dec 2017 109
hermetic

Strategy game in Haskell (PRs: )

08 Jan 2019 45
Son

Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json

31 Jan 2017 358
Haws

Haskell Web Semantics Library

16 Dec 2012 8