Alasdair/FM2014
Public repository.
Developer Profile
Alasdair
Discovered public repositories for Alasdair in the GitHub catalog.
Alasdair/Ramics2014
Public repository.
Alasdair/SKAT
An Isabelle implementation of Dexter Kozen's schematic Kleene algebra + Hoare logic.
Alasdair/HSEarley
Earley Parser for Haskell
Alasdair/IsabelleAlgebra
Isabelle Files
Alasdair/Mella
A dependently-typed interactive theorem prover with waldmeister integration
Alasdair/xhtml-combinators
Fast and easy to use Haskell xhtml combinators using Data.Text