sweirich/challenge

Stars
110
Rank 316,770 (Top 7 %)
Language
Haskell
License
BSD 3-Clause "New...
Created almost 6 years ago
Updated about 2 years ago

sweirich/challenge

sweirich

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

Strongly-typed System F in Haskell

Please look at the debruijn subdirectory.

pi-forall

A demo implementation of a simple dependently-typed language

dth

Examples of Dependently-typed programs in Haskell

tal

An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

lambda-n-ways

Benchmarks for capture-avoiding substitution

corespec

A Specification for Dependent Types in Haskell (Core)

trellys

Automatically exported from code.google.com/p/trellys

replib

Replib: generic programming & Unbound: generic treatment of binders

hs-inferno

Generic unification-based type inference library

graded-haskell

Graded Dependent Type systems

haskelltester

Simple autograder for Haskell programming assignments

lambda-calculus

Denotational Semantics of the Untyped Lambda Calculus

equations-ln

PHICWIC2018

Formal logic and software verification using interactive theorem provers

sweirich.github.io

saw-core-what4

SAWCore backend for What4

corespec-roles

Dependent Haskell with role annotations (ICFP 2019)