kevinclancy

typedlua

An Optional Type System for Lua

levitate

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

hopl-s2017

History of Programming Languages, Spring 2017

EssentialsOfCompilation

Working through "Essentials of Compilation" by Jeremy Siek

MaMaCompiler

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

monotonicity-coeffects

SchemaTypes

Dependently typed schema language for MUMPS

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

blog

github.io blog

DetailedNotes

hyperzeux

kevinclancy.github.io

Kevin Clancy's Blog

kind2

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

L3-Redex

kboard

a message board created using loco and react

loco

🚂 🦀 The one-person framework for Rust for side-projects and startups

MaMaRust

A Maurer Machine Implementation in Rust. Work in progress.

mclambda

Embedding monotonicity coeffects into agda

ray-tracing-in-a-weekend

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

raytracing-rust

raytracing in one weekend, implemented in rust

theloop-backend

SQL-based backend for a "facebook groups" style website

VirtualMachineCompiler

An Implementation of the C-Machine as described in "Compiler Design: Virtual Machines" by Wilhelm and Seidl

website

Source for website at