hardentoo

alex

A lexical analyser generator for Haskell

awesome-math

A curated list of awesome mathematics resources

deriving-via

Deriving via

dunai

Functional Reactive Programming using Monadic Stream Functions

eudev

Repository for eudev development

gentoo-cynede

tiny Gentoo overlay

ghci-pretty

tiny hack for colored pretty-printing within ghci

hardentoo

Gentoo Overlay

haskell-blockchain-workshop

The source code for the "Build a Blockchain in Haskell" workshop given at Lambda Conf 2018

haskell-symbol-search-cheatsheet

Haskell/GHC symbol search cheatsheet

haskell-tapl

Haskell Implementation of Lambda Calculus as explained in Types and Programming Languages

hblock

Block puzzle in Haskell

hid-examples

Examples to accompany the book "Haskell in Depth"

img

Standalone, daemon-less, unprivileged Dockerfile and OCI compatible container image builder.

intellij-haskell

IntelliJ plugin for Haskell

intellij-haskforce

Haskell plugin for IntelliJ IDEA

kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

kore

math_books

:books: Математичный список полезных книг

megaparsec

Industrial-strength monadic parser combinator library

mikrokosmos

Didactic λ-calculus interpreter

parsonsmatt.github.io

My Github pages website

pboy

a small .pdf management utility

pi-calculus-and-logic

Classic pi calculus + additional logic terms

portage-utils

Official mirror; bugs -> https://bugs.gentoo.org/

process

Library for dealing with system processes

sdl2-snake

An example application for sdl2.

stackage-content

Content for the stackage.org site

STLC

Dependently typed Algorithm M and friends

yacctt

yacctt: Yet Another Cartesian Cubical Type Theory