Paolo G. Giarrusso Paolo G. Giarrusso

Tracking 12.6K commits to 575 open source packages

PostDoc at TUDelft on DOT & Scala — λ calculus/Haskell/Coq/Agda


Homepage: http://blaisorblade.github.io/

Company: TUDelft

Location: Delft, Netherlands


Repositories

Blaisorblade/dot-iris
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq implement...
Coq - Other - Last pushed - 7 stars
Blaisorblade/evalFromToAbsMachines
A Functional Correspondence between Evaluators and Abstract Machines
Haskell - Last pushed - 8 stars
Blaisorblade/Agda-playground
My Agda experiments
Agda - Last pushed - 5 stars - 1 forks
Blaisorblade/Haskell-Adaptive
Haskell library for incremental computing. Fork of http://hackage.haskell.org/package/Adaptive-0.22
Haskell - BSD-3-Clause - Last pushed - 1 stars
Blaisorblade/Unification-Playground
My experiments learning unification
Haskell - MIT - Last pushed - 0 stars
Blaisorblade/learning-syntactic
Reimplementing http://hackage.haskell.org/package/syntactic so that I can learn it. Not for use.
Haskell - MIT - Last pushed - 1 stars
See all Paolo G. Giarrusso's repositories

Repositories Contributed To

seba--/i3QL
Scala - Last pushed - 0 stars - 4 forks
aJanker/CSPLlift
Scala - LGPL-3.0 - Last pushed - 1 stars
ckaestne/TypeChef
Type checking ifdef variability
C - Other - Last pushed - 46 stars - 24 forks
ckaestne/TypeChef-LinuxAnalysis
C - Other - Last pushed - 6 stars - 5 forks
b-studios/icfp2013
ICFP2013
Haskell - Last pushed - 1 stars
Toxaris/pts
Interpreter for functional pure type systems.
Haskell - BSD-3-Clause - Last pushed - 12 stars - 6 forks
See all Paolo G. Giarrusso's contributions

Published Packages

Adaptive-Blaisorblade
This is a Haskell (plus some extensions) implementation of a library for incremental computing. ...
Latest release 0.23 - Published - 1 stars
See all Paolo G. Giarrusso's packages

Last synced: 2016-12-17 05:04:21 UTC

Login to resync this page