sweirich/PHICWIC2018 sweirich/PHICWIC2018

  • Stars
    star
    2
  • Language
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sweirich/PHICWIC2018
github

sweirich

Reviews

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

Repository Details

Formal logic and software verification using interactive theorem provers

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
65
star
7

trellys

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

replib

Replib: generic programming & Unbound: generic treatment of binders
Coq
44
star
9

hs-inferno

Generic unification-based type inference library
Haskell
24
star
10

graded-haskell

Graded Dependent Type systems
Coq
23
star
11

haskelltester

Simple autograder for Haskell programming assignments
Haskell
16
star
12

lambda-calculus

Denotational Semantics of the Untyped Lambda Calculus
Coq
14
star
13

equations-ln

Coq
6
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