Skip to content
View asajeffrey's full-sized avatar
💭
Alan passed away in July
💭
Alan passed away in July

Organizations

@servo @dfrp

Block or report asajeffrey

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • asaj.org Public

    Alan Jeffrey's personal web site

    HTML Creative Commons Zero v1.0 Universal Updated Dec 12, 2023
  • A partial implementation of Luau typechecker in Agda for machine verification

    Agda MIT License Updated Dec 2, 2023
  • research Public

    Forked from luau-lang/research

    Research papers and publications for Luau

    TeX Updated Nov 28, 2023
  • rfcs Public

    Forked from luau-lang/rfcs

    RFCs for Luau evolution

    Updated Oct 31, 2023
  • luau Public

    Forked from luau-lang/luau

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

    C++ 3 MIT License Updated Oct 9, 2023
  • Large-scale, anonymous, randomized logging of type errors in Luau

    Racket Updated Sep 22, 2023
  • tmp Public

    A temporary scratchpad

    Rust Updated Dec 7, 2022
  • TypeScript Public

    Forked from microsoft/TypeScript

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

    TypeScript Apache License 2.0 Updated Mar 28, 2022
  • project Public

    Forked from servo/project

    A repo for the Servo Project

    Creative Commons Zero v1.0 Universal Updated Dec 10, 2021
  • Playing around seeing if Cubical Agda helps with defining abstract syntax

    Agda 3 MIT License Updated Oct 25, 2021
  • reciPL.es

    Ruby MIT License Updated Aug 24, 2021
  • tapl Public

    Reading along with Types And Programming Languages

    Agda 3 Creative Commons Zero v1.0 Universal Updated Apr 23, 2021
  • surfman Public

    Forked from servo/surfman

    Accelerated offscreen graphics for WebGL

    Rust Apache License 2.0 Updated Mar 2, 2021
  • servo.org Public

    Forked from servo/servo.org
    HTML Updated Feb 12, 2021
  • Get a free 1Password Teams membership for your open source project

    Updated Nov 23, 2020
  • servo Public

    Forked from servo/servo

    The Servo Browser Engine

    Rust Mozilla Public License 2.0 Updated Nov 17, 2020
  • webxr Public

    Forked from servo/webxr

    Bindings for WebXR

    Rust Mozilla Public License 2.0 Updated Aug 10, 2020
  • three.js Public

    Forked from mrdoob/three.js

    JavaScript 3D library.

    JavaScript 1 MIT License Updated Jul 28, 2020
  • hubs Public

    Forked from Hubs-Foundation/hubs

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

    JavaScript Mozilla Public License 2.0 Updated Jul 17, 2020
  • HTML MIT License Updated Jul 10, 2020
  • CSS MIT License Updated Jul 3, 2020
  • parsell Public

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

    Rust 73 5 Other Updated Jun 25, 2020
  • wasm Public

    Web Assembly

    Rust 49 4 Mozilla Public License 2.0 Updated Jun 25, 2020
  • mmmbop Public

    Memory managed mucking around

    Rust Mozilla Public License 2.0 Updated Jun 25, 2020
  • presort Public

    Efficient sorting for vectors where updates preserve sort order

    Rust 1 Mozilla Public License 2.0 Updated Jun 25, 2020
  • tra-mut-loc Public

    An implementation of Transactional Mutex Locks for Rust

    Rust Mozilla Public License 2.0 Updated Jun 25, 2020
  • deep-clone Public

    A trait for deep-cloning in Rust

    Rust 5 2 Mozilla Public License 2.0 Updated Jun 25, 2020
  • A trait for when serde supports serializing at one type and deserializing as another

    Rust 3 Mozilla Public License 2.0 Updated Jun 25, 2020
  • Thoughts on finite dependent types

    TeX 6 Updated Jun 25, 2020
  • lagda Public

    LaTeX macros for Literate Agda

    Agda 1 Mozilla Public License 2.0 Updated Jun 25, 2020