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
hopl-s2017
History of Programming Languages, Spring 2017
kevinclancy.github.io
Kevin Clancy's Blog
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/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/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/mclambda
Embedding monotonicity coeffects into agda
kevinclancy/ray-tracing-in-a-weekend
An implementation of Peter Shirley's "Ray Tracing in One Weekend"
kevinclancy/VirtualMachineCompiler
kevinclancy/website
Source for website at