asajeffrey

parsell

Parsell: an LL(1) parser combinator library for Rust

wasm

Web Assembly

finite-dtypes

Thoughts on finite dependent types

deep-clone

A trait for deep-cloning in Rust

cubical-syntax

Playing around seeing if Cubical Agda helps with defining abstract syntax

luau

A fast, small, safe, gradually typed embeddable scripting language derived from Lua

serde-roundtrip

A trait for when serde supports serializing at one type and deserializing as another

tapl

Reading along with Types And Programming Languages

lagda

LaTeX macros for Literate Agda

three.js

JavaScript 3D library.

1password-teams-open-source

Get a free 1Password Teams membership for your open source project

agda-typeck

A partial implementation of Luau typechecker in Agda for machine verification

asaj.org

Alan Jeffrey's personal web site

hubs

Duck-themed multi-user virtual spaces in WebVR. Built with A-Frame.

luau-telemetry

Large-scale, anonymous, randomized logging of type errors in Luau

mmmbop

Memory managed mucking around

presort

Efficient sorting for vectors where updates preserve sort order

project

A repo for the Servo Project

reciples.github.io

reciPL.es

research

Research papers and publications for Luau

rfcs

RFCs for Luau evolution

servo

The Servo Browser Engine

servo.org

shutdown-pl

surfman

Accelerated offscreen graphics for WebGL

tmp

A temporary scratchpad

tra-mut-loc

An implementation of Transactional Mutex Locks for Rust

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

webxr

Bindings for WebXR

WebXRLayers-samples