phadej

Iosevka

Versatile typeface for code, from code.

hadolint

Dockerfile linter, validate inline bash, written in Haskell

servant

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

plfa.github.io

An introduction to programming language theory in Agda

aws-lambda-cpp

C++ implementation of the AWS Lambda runtime

generic-lens

Generically derive traversals, lenses, and prisms.

agda-categories

A new Categories library for Agda

justified-variables

Words of the same length with related meanings.

inspection-testing

Inspection Testing for Haskell

ghc-justdoit

A magic typeclass that just does it

hinc

Haskell In New Clothes

pure

A pure type system implemented in OCaml

git-vanity

a tool for generating git vanity commits

dhall-vim

Syntax highlighting for Dhall

monoidal-containers

Maps using values' monoidal structure during merging

universe

Classes for types where we know all the values

symbols

Symbol manipulation

ghcup-metadata

GHCup metadata repository

chessIO

Fast haskell chess move generator library and console UCI frontend

lennart-lambda

λλλλ Lennart Augustsson's λ-calculus cooked four ways

free-functors

Provides free functors that are adjoint to functors that forget class constraints.

head.hackage

This is not the Git repo you're looking for...

intel_sat_solver

This repository contains the code of Intel(R) SAT Solver (IntelSAT)

irc-message-action

Github Action to Interact with IRC Channels and Users

jord

Geographical Position Calculations

JuicyPixels-extra

Efficiently scale, crop, flip images with JuicyPixels

csg

Analytical CSG (Constructive Solid Geometry) library

mono-math

unicode-general-category

Unicode General Category

step-function