Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Bedrock Systems Inc.Berlin, Germany
Pinned Repositories
abt
Implementing Abstract Binding Trees (in Scala, ...)
Agda-playground
My Agda experiments
Anki-Android
Anki on Android
dot-iris
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
evalFromToAbsMachines
A Functional Correspondence between Evaluators and Abstract Machines
git-filter-branch-msgs
Update mentions of hashes in commits messages — for git-filter-branch. In Scala.
hoas-with-names
Represent functions using higher-order abstract syntax (HOAS) *using macros to save names*
minidot
Dependent Object Types (DOT), bottom up
Blaisorblade's Repositories
Blaisorblade/Agda-playground
My Agda experiments
Blaisorblade/scala19_gadt_code
Support code for our Scala'19 paper on GADTs
Blaisorblade/general-purpose-hash-functions
Mirror of C implementation from http://www.partow.net/programming/hashfunctions/
Blaisorblade/subtitle-fixer
Adjust SRT subtitles for offset and framerate
Blaisorblade/acmart
ACM consolidated LaTeX styles
Blaisorblade/agda-stdlib
The Agda standard library
Blaisorblade/arbtt
arbtt, the automatic rule-based time-tracker
Blaisorblade/autosubst2-proto
Superseded by https://github.com/uds-psl/autosubst2. Clone of Autosubst2 prototype from https://www.ps.uni-saarland.de/extras/lfmtp17/
Blaisorblade/dotfiles-scratch
Blaisorblade/GoIV
Blaisorblade/homebrew-brew
homebrew formula
Blaisorblade/intern
Hash consing for arbitrary Haskell data types
Blaisorblade/iris-coq
Blaisorblade/knot-esop-2017-case-study
Copy of Knot case study tarball from https://users.ugent.be/~skeuchel/knot/knot-20161026.tar.gz, with updates (?)
Blaisorblade/magithub
Magit-based interfaces to GitHub
Blaisorblade/nabl
Spoofax' Name Binding Language
Blaisorblade/needle
Needle code generator
Blaisorblade/ott
Ott: Effective tool support for the working semanticist
Blaisorblade/ott-1
Ott is a tool for writing definitions of programming languages and calculi
Blaisorblade/pdbp.github.io
Old fork of https://github.com/pdbp/pdbp.github.io
Blaisorblade/plfa-exercises
Blaisorblade/pygments
Pygments is a generic syntax highlighter written in Python
Blaisorblade/pympress
Pympress is a simple yet powerful PDF reader designed for dual-screen presentations
Blaisorblade/scala
The Scala programming language
Blaisorblade/scala-example
Very small example, not much to see here
Blaisorblade/scala-unboxed-option
A type-parametric unboxed Option type for Scala
Blaisorblade/scala.epfl.ch
Website for Scala@EPFL
Blaisorblade/ScalaRegression
Blaisorblade/siegebell-vscoq
Coq Support for Visual Studio Code
Blaisorblade/ulex