sweirich/replib sweirich/replib

  • Stars
    star
    44
  • Rank 616,109 (Top 13 %)
  • Language Coq
  • License
    MIT License
  • Created about 9 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sweirich/replib
github

sweirich

Reviews

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

Repository Details

Replib: generic programming & Unbound: generic treatment of binders

More Repositories

1

pi-forall

A demo implementation of a simple dependently-typed language
Haskell
516
star
2

dth

Examples of Dependently-typed programs in Haskell
Haskell
293
star
3

tal

An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
Haskell
137
star
4

challenge

Strongly-typed System F in Haskell
Haskell
110
star
5

lambda-n-ways

Benchmarks for capture-avoiding substitution
HTML
95
star
6

corespec

A Specification for Dependent Types in Haskell (Core)
Coq
64
star
7

trellys

Automatically exported from code.google.com/p/trellys
Haskell
45
star
8

hs-inferno

Generic unification-based type inference library
Haskell
24
star
9

graded-haskell

Graded Dependent Type systems
Coq
23
star
10

haskelltester

Simple autograder for Haskell programming assignments
Haskell
16
star
11

lambda-calculus

Denotational Semantics of the Untyped Lambda Calculus
Coq
14
star
12

equations-ln

Coq
6
star
13

PHICWIC2018

Formal logic and software verification using interactive theorem provers
2
star
14

sweirich.github.io

HTML
1
star
15

saw-core-what4

SAWCore backend for What4
Haskell
1
star
16

corespec-roles

Dependent Haskell with role annotations (ICFP 2019)
Coq
1
star