← Explore by area

Cluster 633679

2 repos

Haskell · 2

haskell ·1,498

refinement-types ·1,333

smt ·1,333

verification ·1,333

generic-programming ·165

types ·165

Related clusters

Haskell package ecosystem and tooling29 Cluster 6337006 Cluster 6362104 Cluster 6339435 Formal verification of cryptographic code22 Cluster 6336895

well-typed/generics-sop

Generic Programming using True Sums of Products

Haskell

165

421 commits

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

Haskell

1,333

12,901 commits