Lysxia/system-F

Stars
33
Rank 784,247 (Top 16 %)
Language Coq
Created over 5 years ago
Updated over 5 years ago

Lysxia/system-F

Lysxia

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Formalization of the polymorphic lambda calculus and its parametricity theorem

advent-of-coq-2018

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

first-class-families

First-class type families

generic-random

Generic random generators

profunctor-monad

Bidirectional programming in Haskell with monadic profunctors

generic-data

Generic data types in Haskell, utilities for GHC.Generics

advent-of-coq-2021

metamorph

Monomorphize polymorphic functions for testing

coq-simple-io

generic-recursion-schemes

Folds for recursive types with GHC Generics

generic-data-surgery

Surgery for generic data types

coq-ceres

Coq library for serialization to S-expressions

gradual-eff-paper

quickcheck-higherorder

QuickCheck extension for higher-order properties

unparse-attoparsec

An attoparsec roundtrip

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-recursion-schemes

recursion-schemes in Coq

show-combinators

Minimalistic Haskell pretty-printing library

hashislife

C implementation of the Hashlife algorithm

boltzmann-samplers

test-monad-laws

QuickCheck properties for monad classes

twentyseven

Rubik's cube solver in Haskell

coq-mtl

Formalized laws for mtl

type-map

Type-indexed maps, or a lightweight record library

komachi

Parser library in Agda, with coinductive machines and automatic differentiation

advent-of-agda-2022

raz.haskell

Random Access Zippers: Haskell translation of raz.ocaml (https://github.com/cuplv/raz.ocaml)

scanf

scanf and printf in Haskell

lens-monad

Monadic monadic lenses

gap

Generators as predicates

pfa

Parallel Functional Arrays

test-fun

Representation of higher-order functions for property testing

decor-experiments

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

weechat-relay

WeeChat Relay protocol in Haskell

haskell-syntaxonomer

WIP. Source: https://gitlab.com/lysxia/haskell-syntaxonomer

cfpt

Counting Functional Pregroup Types

coq-itree-io

Interpreter from itree to IO

cochis

Calculus of coherent implicits

tasty-diff

Golden testing with integrated diff

magnifique

Visualize tree structures. Focus on the bits that matter.

bytes-codec

Bidirectional serialization for binary and cereal

breadcrumbs

Persistent bounded buffers

hedgehog-higherorder

cogenerics

Extensible sums and products as a dual to GHC Generics

MiniC

Compiler Project

aeson-benchmarks-scripts

generic-show

Prototype of generic show with local instances