Seattle, WA

Kevin Clancy

Advanced
@kevinclancy

typedlua. An Optional Type System for Lua

7

levitate. Utilities for verified floating-point computation in Haskell: Controlled rounding, interval arithmetic, and affine arithmetic.

4

SchemaTypes. Dependently typed schema language for MUMPS

2

EssentialsOfCompilation. Working through "Essentials of Compilation" by Jeremy Siek

1

MaMaCompiler. an implementation of the Maurer Machine, as described in "Compiler Design: Virtual Machines" by Wilhelm and Seidl

1

monotonicity-coeffects. F#

1
6
Apply