lysxia Goto Github PK

coq-ext-lib

A library of Coq definitions, theorems, and tactics.

coq-itree-io

Interpreter from itree to IO

coq-mtl

Formalized laws for mtl

coq-printf

Implementation of sprintf for Coq

coq-pseudorandom

PRNG in Coq

coq-recursion-schemes

recursion-schemes in Coq

coq-simple-io

IO for Gallina

coq-www

Source files of the coq.inria.fr website (static part)

coqdocjs

coqtail

Interactive Coq Proofs in Vim

cornelis

agda-mode for neovim

dcp

decor-experiments

Experiments on generating random functional programs to test compilers and PL theory

dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

dependent-sum-aeson-orphans

JSON instances for DSum and DMap

dissemin

Spot your own paywalled papers. Liberate them in one click.

first-class-families

First-class type families

free

free monads

freer-simple

An implementation of “Freer Monads, More Extensible Effects”.

gap

Generators as predicates

generic-data

Generic data types in Haskell, utilities for GHC.Generics

generic-data-surgery

Surgery for generic data types

generic-lens

Generically derive traversals, lenses, and prisms.

generic-random

Generic random generators

generic-recursion-schemes

Folds for recursive types with GHC Generics

generic-show

Prototype of generic show with local instances

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

gipeda

Git Performance Dashboard

grampa

Grammar parser - combinator library for parsing a general context-free grammar

gurusolver

Solver program for the guru problem