Giters
Evan Marzion (emarzion)

emarzion

Geek Repo

7

followers

4

following

4

stars

Location:Wauwatosa

Github PK Tool:Github PK Tool

Evan Marzion's starred repositories

haskell-companies

A gently curated list of companies using Haskell in industry

License:UnlicenseStargazers:937Issues:0Issues:0

practical-fm

A gently curated list of companies using verification formal methods in industry

Stargazers:492Issues:0Issues:0

bruijn

:abacus: Programming with pure lambda calculus

Language:HaskellLicense:MITStargazers:86Issues:0Issues:0

PathORAM

Formalizing the PathORAM implementation by Chris et al.

Language:CoqStargazers:2Issues:0Issues:0