Lysxia/system-F Lysxia/system-F

  • Stars
    star
    33
  • Rank 783,877 (Top 16 %)
  • Language Coq
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Lysxia/system-F
github

Lysxia

Reviews

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

Repository Details

Formalization of the polymorphic lambda calculus and its parametricity theorem

More Repositories

1

advent-of-coq-2018

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

first-class-families

First-class type families
Haskell
86
star
3

generic-random

Generic random generators
Haskell
81
star
4

profunctor-monad

Bidirectional programming in Haskell with monadic profunctors
Coq
44
star
5

generic-data

Generic data types in Haskell, utilities for GHC.Generics
Haskell
44
star
6

advent-of-coq-2021

Coq
38
star
7

metamorph

Monomorphize polymorphic functions for testing
Haskell
33
star
8

coq-simple-io

IO for Gallina
Coq
30
star
9

generic-recursion-schemes

Folds for recursive types with GHC Generics
Haskell
26
star
10

generic-data-surgery

Surgery for generic data types
Haskell
24
star
11

coq-ceres

Coq library for serialization to S-expressions
Coq
18
star
12

gradual-eff-paper

TeX
17
star
13

quickcheck-higherorder

QuickCheck extension for higher-order properties
Haskell
17
star
14

unparse-attoparsec

An attoparsec roundtrip
Haskell
16
star
15

bluefin-algae

Algebraic effects in the Bluefin effect system
Haskell
13
star
16

roll-your-own-irc-bot

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

coq-recursion-schemes

recursion-schemes in Coq
Coq
9
star
18

show-combinators

Minimalistic Haskell pretty-printing library
Haskell
9
star
19

hashislife

C implementation of the Hashlife algorithm
C
9
star
20

boltzmann-samplers

Haskell
9
star
21

test-monad-laws

QuickCheck properties for monad classes
Haskell
7
star
22

twentyseven

Rubik's cube solver in Haskell
Haskell
7
star
23

coq-mtl

Formalized laws for mtl
Coq
7
star
24

type-map

Type-indexed maps, or a lightweight record library
Haskell
6
star
25

komachi

Parser library in Agda, with coinductive machines and automatic differentiation
Agda
6
star
26

advent-of-agda-2022

Agda
6
star
27

raz.haskell

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

scanf

scanf and printf in Haskell
Haskell
4
star
29

lens-monad

Monadic monadic lenses
Haskell
4
star
30

gap

Generators as predicates
Haskell
3
star
31

pfa

Parallel Functional Arrays
Haskell
3
star
32

test-fun

Representation of higher-order functions for property testing
Haskell
3
star
33

decor-experiments

Experiments on generating random functional programs to test compilers and PL theory
Haskell
3
star
34

weechat-relay

WeeChat Relay protocol in Haskell
Haskell
3
star
35

haskell-syntaxonomer

WIP. Source: https://gitlab.com/lysxia/haskell-syntaxonomer
HTML
2
star
36

cfpt

Counting Functional Pregroup Types
Haskell
2
star
37

coq-itree-io

Interpreter from itree to IO
Coq
2
star
38

cochis

Calculus of coherent implicits
Haskell
2
star
39

tasty-diff

Golden testing with integrated diff
Haskell
2
star
40

magnifique

Visualize tree structures. Focus on the bits that matter.
Haskell
2
star
41

bytes-codec

Bidirectional serialization for binary and cereal
Haskell
2
star
42

breadcrumbs

Persistent bounded buffers
Haskell
2
star
43

hedgehog-higherorder

Haskell
1
star
44

cogenerics

Extensible sums and products as a dual to GHC Generics
Haskell
1
star
45

MiniC

Compiler Project
OCaml
1
star
46

aeson-benchmarks-scripts

Haskell
1
star
47

generic-show

Prototype of generic show with local instances
Haskell
1
star