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/abt
Implementing Abstract Binding Trees (in Scala, ...)
Blaisorblade/Ammonite
Rock-solid shell scripting
Blaisorblade/BAT
A Java Bytecode library written in Scala which provides a native object-oriented representation as well as an XML and a Prolog based representation.
Blaisorblade/Blaisorblade.github.io
Blaisorblade/bsc-thesis-impl
Code used for my Bachelors' Thesis: Automatic Locality-friendly Array Interface Extension of Numerical Functions through C++ Metaprogramming
Blaisorblade/discourse-mathjax
Mathjax plugin for discourse
Blaisorblade/discourse_docker
A Docker image for Discourse
Blaisorblade/docker
Docker - the open-source application container engine
Blaisorblade/filter-agda-dependency-graph
Blaisorblade/foundation
a new hope
Blaisorblade/foundation-edge
types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
Blaisorblade/git
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
Blaisorblade/haskell-style-guide
A document describing how I like Haskell code to be written
Blaisorblade/homebrew
The missing package manager for OS X.
Blaisorblade/htdp
Blaisorblade/incremental-computing
Temp. clone of https://hackage.haskell.org/package/incremental-computing
Blaisorblade/Ingress-data
Blaisorblade/MetaprogAgda
being the materials for Summer 2013's course
Blaisorblade/neat-interpolation
A quasiquoter for neat and simple multiline text interpolation
Blaisorblade/order-maintenance
Temp. clone of https://hackage.haskell.org/package/order-maintenance
Blaisorblade/PLT2013
PLT2013
Blaisorblade/racket-playground
My personal playground for learning Racket
Blaisorblade/rr
Record and Replay Framework
Blaisorblade/sbteclipse
Plugin for sbt to create Eclipse project definitions
Blaisorblade/scala.github.com
The Scala Documentation website
Blaisorblade/stack
The Haskell Tool Stack
Blaisorblade/stack-installer
Blaisorblade/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Blaisorblade/store
Fast binary serialization
Blaisorblade/streaming-commons
Common lower-level functions needed by various streaming data libraries