lysxia Goto Github PK

ad

Experiments with first-class classes

advent-of-agda-2022

advent-of-coq-2018

Advent of Code 2018, in Coq! (https://adventofcode.com/2018)

advent-of-coq-2021

aeson

A fast Haskell JSON library

aeson-benchmarks

aeson-benchmarks-logs

Log files of the aeson performance dashboard

aeson-benchmarks-scripts

aeson-gadt-th

Template Haskell for generating ToJSON and FromJSON instances for GADTs

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-generics

agda-stdlib

The Agda standard library

agdarsec

Total Parser Combinators in Agda

arity-generic-lifta

Provides an arity-generic version of the liftA2, liftA3... liftAn functions

attoparsec

A fast Haskell library for parsing ByteStrings

base-orphans

Backwards-compatible orphan instances for base

bench-hex

bluefin

bluefin-algae

Algebraic effects in the Bluefin effect system

boltzmann-samplers

breadcrumbs

Persistent bounded buffers

bytes-codec

Bidirectional serialization for binary and cereal

bytestring

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

cabal

Official upstream development repository for Cabal and cabal-install

cabal-extras

A tool suite to aid Haskell development using `cabal-install`

certicoq

A Verified Compiler for Gallina, Written in Gallina

cfpt

Counting Functional Pregroup Types

challenge

cochis

Calculus of coherent implicits

codec

Easy bidirectional serialization in Haskell