Beast code in Giters

Kevin Clancy's repositories

An Optional Type System for Lua

Language:Lua7 60

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

Language:Haskell4 1 1

History of Programming Languages, Spring 2017

Language:TeX2 10

Language:F#1 20

Dependently typed schema language for MUMPS

Language:F#1 10

working through "Principles of Abstract Interpretation" exercises in F#

Language:F#010

causes the agda compiler 2.5.2 to hang, uses standard library 0.13

Language:Agda010

Language:Agda010

Language:TeX010

Kevin Clancy's Blog

Language:HTML010

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

Language:OCamlApache-2.0010

Language:Racket020

Embedding monotonicity coeffects into agda

Language:Agda010

An implementation of Peter Shirley's "Ray Tracing in One Weekend"

Language:C++010

Language:F#000

Source for website at

Language:RacketGPL-2.0010