Pinned Repositories
04-diamondback
Starter materials for diamondback compiler
abakst.github.io
Friendly Friend of friends
Brisk
Brisk
liquidhaskell
Liquid Types For Haskell
runonhost
Attempts to determine if a command is to be executed on a filesystem that lives on a remote host. If so, runs the command on the remote host via ssh.
Space-
specs
The dumbest model checker
symmetry
Zoepis
An OpenGL Game/Simulation Engine in Haskell
HARDENS
Repository for the HARDENS project
abakst's Repositories
abakst/Zoepis
An OpenGL Game/Simulation Engine in Haskell