Blaisorblade

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/Anki-Android

Anki on Android

Blaisorblade/Haskell-Adaptive

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

Blaisorblade/xsbt

sbt, a build tool for Scala

Blaisorblade/basic-scala-project.g8

A giter8 template for generating a new Scala project.

Blaisorblade/cabal

Official upstream development repository for Cabal and cabal-install

Blaisorblade/deltas

Blaisorblade/Forge

A prototype meta DSL that generates Delite DSL implementations from a specification-like program.

Blaisorblade/frame-restore.el

Save and restore size and position of the Emacs frame

Blaisorblade/gitlib

Blaisorblade/gll-combinators

A parser combinator library based on the GLL algorithm

Blaisorblade/HWebUI

Haskell User Interface Library

Blaisorblade/macrocosm

Exploration of Scala macros

Blaisorblade/np

new sbt project generation made simple(r)

Blaisorblade/Rex

Ruby embedded in LaTeX.

Blaisorblade/sbt-dependency-graph

sbt plugin to create a dependency graph for your project

Blaisorblade/sbt-git

A GIT plugin for SBT

Blaisorblade/sbt-test-case-apiUrl

Testcase for an SBT bug

Blaisorblade/scalameter-tutorial

Code for the scalameter tutorial

Blaisorblade/ScaTeX

literate programming in scala

Blaisorblade/sketch-a-char

Successor of Detexify

Blaisorblade/sparsebundlefs

FUSE filesystem for reading Mac OS sparse-bundle disk images