There are no reviews yet. Be the first to send feedback to the community and the maintainers!
advent-of-coq-2018
Advent of Code 2018, in Coq! (https://adventofcode.com/2018)first-class-families
First-class type familiesgeneric-random
Generic random generatorsprofunctor-monad
Bidirectional programming in Haskell with monadic profunctorsgeneric-data
Generic data types in Haskell, utilities for GHC.Genericsadvent-of-coq-2021
metamorph
Monomorphize polymorphic functions for testingsystem-F
Formalization of the polymorphic lambda calculus and its parametricity theoremcoq-simple-io
IO for Gallinageneric-recursion-schemes
Folds for recursive types with GHC Genericsgeneric-data-surgery
Surgery for generic data typesgradual-eff-paper
coq-ceres
Coq library for serialization to S-expressionsunparse-attoparsec
An attoparsec roundtripquickcheck-higherorder
QuickCheck extension for higher-order propertiesroll-your-own-irc-bot
Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_botcoq-recursion-schemes
recursion-schemes in Coqshow-combinators
Minimalistic Haskell pretty-printing libraryhashislife
C implementation of the Hashlife algorithmboltzmann-samplers
twentyseven
Rubik's cube solver in Haskellcoq-mtl
Formalized laws for mtltest-monad-laws
QuickCheck properties for monad classeskomachi
Parser library in Agda, with coinductive machines and automatic differentiationadvent-of-agda-2022
type-map
Type-indexed maps, or a lightweight record libraryraz.haskell
Random Access Zippers: Haskell translation of raz.ocaml (https://github.com/cuplv/raz.ocaml)scanf
scanf and printf in Haskelllens-monad
Monadic monadic lensesgap
Generators as predicatespfa
Parallel Functional Arraystest-fun
Representation of higher-order functions for property testingdecor-experiments
Experiments on generating random functional programs to test compilers and PL theoryweechat-relay
WeeChat Relay protocol in Haskellhaskell-syntaxonomer
WIP. Source: https://gitlab.com/lysxia/haskell-syntaxonomercfpt
Counting Functional Pregroup Typescoq-itree-io
Interpreter from itree to IOcochis
Calculus of coherent implicitstasty-diff
Golden testing with integrated diffmagnifique
Visualize tree structures. Focus on the bits that matter.bytes-codec
Bidirectional serialization for binary and cerealbreadcrumbs
Persistent bounded buffershedgehog-higherorder
MiniC
Compiler Projectcogenerics
Extensible sums and products as a dual to GHC Genericsaeson-benchmarks-scripts
generic-show
Prototype of generic show with local instancesLove Open Source and this site? Check out how you can help us