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

GHCup metadata repository

Fast haskell chess move generator library and console UCI frontend

Unicode General Category

A new Categories library for Agda

Versatile typeface for code, from code.

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

Words of the same length with related meanings.

Github Action to Interact with IRC Channels and Users

Haskell In New Clothes

A pure type system implemented in OCaml

a tool for generating git vanity commits

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

Geographical Position Calculations

Symbol manipulation

Syntax highlighting for Dhall

C++ implementation of the AWS Lambda runtime

An introduction to programming language theory in Agda

Generically derive traversals, lenses, and prisms.

A magic typeclass that just does it

Inspection Testing for Haskell

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

Efficiently scale, crop, flip images with JuicyPixels

Analytical CSG (Constructive Solid Geometry) library

Maps using values' monoidal structure during merging

Classes for types where we know all the values

Dockerfile linter, validate inline bash, written in Haskell

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