Lysxia

first-class-families

First-class type families

generic-random

Generic random generators

generic-data

Generic data types in Haskell, utilities for GHC.Generics

coq-simple-io

IO for Gallina

coq-ceres

Coq library for serialization to S-expressions

gradual-eff-paper

bluefin-algae

Algebraic effects in the Bluefin effect system

roll-your-own-irc-bot

Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot

coq-itree-io

Interpreter from itree to IO

one-liner

Constraint-based generics

agda-stdlib

The Agda standard library

base-orphans

Backwards-compatible orphan instances for base

bluefin

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

certicoq

A Verified Compiler for Gallina, Written in Gallina

commutative-semigroups

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-ext-lib

A library of Coq definitions, theorems, and tactics.

Coqtail

Interactive Coq Proofs in Vim

cornelis

agda-mode for neovim

error-message-index

A community-driven collection of documentation for Haskell error messages and warnings

koka

Koka language compiler and interpreter

lysxia.github.io

notation-gallery

Examples showing best practices for using Coq notations and custom entries [maintainer=@bcpierce00]

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

pygments

Pygments is a generic syntax highlighter written in Python

stackage

"Stable Hackage": vetted consistent packages from Hackage

text

An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.

tiny-games-hs

Rules for & examples of tiny haskell games

toro

Experiments with bluefin effect system