Alan Jeffrey's repositories
asaj.org
Alan Jeffrey's personal web site
agda-typeck
A partial implementation of Luau typechecker in Agda for machine verification
research
Research papers and publications for Luau
rfcs
RFCs for Luau evolution
luau-telemetry
Large-scale, anonymous, randomized logging of type errors in Luau
tmp
A temporary scratchpad
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
project
A repo for the Servo Project
cubical-syntax
Playing around seeing if Cubical Agda helps with defining abstract syntax
reciples.github.io
reciPL.es
surfman
Accelerated offscreen graphics for WebGL
1password-teams-open-source
Get a free 1Password Teams membership for your open source project
servo
The Servo Browser Engine
webxr
Bindings for WebXR
hubs
Duck-themed multi-user virtual spaces in WebVR. Built with A-Frame.
mmmbop
Memory managed mucking around
presort
Efficient sorting for vectors where updates preserve sort order
tra-mut-loc
An implementation of Transactional Mutex Locks for Rust
deep-clone
A trait for deep-cloning in Rust
serde-roundtrip
A trait for when serde supports serializing at one type and deserializing as another
finite-dtypes
Thoughts on finite dependent types