alexmccord

Hardcore programming language theory & design nerd.

@RobloxSan Francisco, California

Pinned Repositories

dcr-timetraveler
Time-traveling state inspector for the Luau DCR solver.
Language:JavaScript0 0 00
luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
Language:C++0 0 00
luau-explorer
Luau over Discord.
Language:Rust2 1 01
ruststone
Minecraft's Redstone logic, reverse engineered
Language:Rust0 1 00
tsvm
A full-blown programming language using TypeScript's type system.
Language:TypeScript8 2 00
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Language:TypeScript0 0 00
luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
Language:C++4k 68 542373
lunar
Lunar was a superset programming language of Lua 5.1 with optional static typing, inspired by TypeScript and Ruby.
Language:Lua40 5 91

alexmccord's Repositories

alexmccord/tsvm
A full-blown programming language using TypeScript's type system.
Language:TypeScript8 2 00
alexmccord/luau-explorer
Luau over Discord.
Language:Rust2 1 01
alexmccord/dcr-timetraveler
Time-traveling state inspector for the Luau DCR solver.
Language:JavaScript0 0 00
alexmccord/luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
Language:C++0 0 00
alexmccord/ruststone
Minecraft's Redstone logic, reverse engineered
Language:Rust0 1 00
alexmccord/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Language:TypeScript0 0 00