Pinned Repositories
AbstractInterpretation
working through "Principles of Abstract Interpretation" exercises in F#
agda-hang
causes the agda compiler 2.5.2 to hang, uses standard library 0.13
algol-model
DetailedNotes
EssentialsOfCompilation
Working through "Essentials of Compilation" by Jeremy Siek
hopl-s2017
History of Programming Languages, Spring 2017
levitate
Utilities for verified floating-point computation in Haskell: Controlled rounding, interval arithmetic, and affine arithmetic.
monotonicity-coeffects
SchemaTypes
Dependently typed schema language for MUMPS
typedlua
An Optional Type System for Lua
kevinclancy's Repositories
kevinclancy/typedlua
An Optional Type System for Lua
kevinclancy/levitate
Utilities for verified floating-point computation in Haskell: Controlled rounding, interval arithmetic, and affine arithmetic.
kevinclancy/hopl-s2017
History of Programming Languages, Spring 2017
kevinclancy/EssentialsOfCompilation
Working through "Essentials of Compilation" by Jeremy Siek
kevinclancy/monotonicity-coeffects
kevinclancy/SchemaTypes
Dependently typed schema language for MUMPS
kevinclancy/AbstractInterpretation
working through "Principles of Abstract Interpretation" exercises in F#
kevinclancy/agda-hang
causes the agda compiler 2.5.2 to hang, uses standard library 0.13
kevinclancy/algol-model
kevinclancy/DetailedNotes
kevinclancy/hyperzeux
kevinclancy/kevinclancy.github.io
Kevin Clancy's Blog
kevinclancy/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
kevinclancy/L3-Redex
kevinclancy/MaMaCompiler
an implementation of the Maurer Machine, as described in "Compiler Design: Virtual Machines" by Wilhelm and Seidl
kevinclancy/mclambda
Embedding monotonicity coeffects into agda
kevinclancy/ray-tracing-in-a-weekend
An implementation of Peter Shirley's "Ray Tracing in One Weekend"
kevinclancy/theloop-backend
SQL-based backend for a "facebook groups" style website
kevinclancy/VirtualMachineCompiler
An Implementation of the C-Machine as described in "Compiler Design: Virtual Machines" by Wilhelm and Seidl
kevinclancy/website
Source for website at