Discover @Blaisorblade Open Source projects

Paolo G. Giarrusso (@Blaisorblade)

Blaisorblade

Stars
110
Global Rank 194,129 (Top 7 %)
Followers 199
Following 190
Registered over 14 years ago
Most used languages

Scala
30.0 %

Haskell
20.0 %

Coq 15.0 %

TeX
10.0 %

Shell
10.0 %

HTML
5.0 %

C
5.0 %

Agda 5.0 %
Location 🇳🇱 Netherlands
Country Total Rank 3,239
Country Ranking

Coq 6

Agda 8

Scala
59

Haskell
80

TeX
199

HTML
244

Shell
1,123

C
1,944

dot-iris

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

abt

Implementing Abstract Binding Trees (in Scala, ...)

Agda-playground

My Agda experiments

hoas-with-names

Represent functions using higher-order abstract syntax (HOAS) *using macros to save names*

evalFromToAbsMachines

A Functional Correspondence between Evaluators and Abstract Machines

scala19_gadt_code

Support code for our Scala'19 paper on GADTs

git-filter-branch-msgs

Update mentions of hashes in commits messages — for git-filter-branch. In Scala.

Bibs

My bibliography files - integrated in other projects using git-subtree

Haskell-Adaptive

Haskell library for incremental computing. Fork of http://hackage.haskell.org/package/Adaptive-0.22

dotty-map-fusion-staging-experiment

Answering https://users.scala-lang.org/t/implementing-map-fusion-with-dotty-macros/5791/4

Software-Foundations

Pierce et al.'s Software Foundations book with my solutions

Coq-playground

Random Coq experiments

general-purpose-hash-functions

Mirror of C implementation from http://www.partow.net/programming/hashfunctions/

phd-thesis

agda-vm-sample

ndot-iris

Abandoned, alternative encodings of https://github.com/Blaisorblade/dot-iris

subtitle-fixer

Adjust SRT subtitles for offset and framerate

secd-lambda-calculus

SECD for lambda calculus. Warning: Force-push on main allowed!

TypesafeSubst

Implement typesafe substitution in Scala

learning-syntactic

Reimplementing http://hackage.haskell.org/package/syntactic so that I can learn it. Not for use.