Antal Spector-Zabusky

icon indicating a website link https://gitlab.com/antalsz icon indicating an email [email protected]

icon company @rigetti icon location Brooklyn, NY icon location I use GitHub for work and collaboration, but my personal projects have moved to GitLab (same username) because GitHub is contracting with ICE.

Results 2 repositories owned by Antal Spector-Zabusky

hs-to-coq

278
Stars
26
Forks
Watchers

Convert Haskell source code to Coq source code

verified publisher icon antalsz

choose-your-own-derivative

18
Stars
0
Forks
Watchers

Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"

verified publisher icon antalsz