Stephanie Weirich (@sweirich)
github

sweirich

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,421
  • Global Rank 21,863 (Top 0.8 %)
  • Followers 740
  • Following 18
  • Registered over 12 years ago
  • Most used languages
    Haskell
         50.0 %
    Coq     37.5 %
    HTML
         12.5 %
  • Location 🇺🇸 United States
  • Country Total Rank 6,550
  • Country Ranking
    Coq     14
    Haskell
         24
    HTML
         1,824

Top 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

PHICWIC2018

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

sweirich.github.io

HTML
1
star
16

saw-core-what4

SAWCore backend for What4
Haskell
1
star
17

corespec-roles

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