Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings
@aatxe
aatxe
Follow
programming language designer. @nuprl and @plasma-umass alum.

Sponsoring

Highlights

  • Pro

Block or report aatxe

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
Showing results

A web playground for type checking, compiling, running, and inspecting Luau code.

TypeScript 14 3 Updated Feb 19, 2026

A GitHub social experiment - What if all pull requests were automatically accepted?

Luau 8 4 Updated Oct 4, 2025
TypeScript 2 3 Updated Jan 31, 2026

The first project I ever made. Terminal interface for accessing player/team stats for NESCAC soccer 21/22 season. Written in Java.

Java 3 Updated Jan 20, 2023

CockroachDB β€” the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.

Go 31,959 4,088 Updated Feb 25, 2026

A standalone Luau runtime for general-purpose programming

C++ 217 35 Updated Feb 25, 2026

πŸ‘Ύ The lightest signal library in Luau

Luau 29 1 Updated Apr 29, 2025

A Simple and Fast Luau Web Framework for Lune

Luau 22 5 Updated Aug 24, 2025

Blip is a cross-platform fully scriptable game engine and distribution platform.

Go 269 28 Updated Feb 17, 2026
Luau 3 Updated Jan 18, 2025

A Type Function utility library for Luau.

Luau 44 2 Updated Sep 17, 2025

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 75,923 7,075 Updated Feb 25, 2026

A lossless Luau parser written in Luau.

Luau 54 8 Updated Mar 15, 2025

A fast, portable Entity Component System for Luau

Luau 392 69 Updated Feb 22, 2026

A lightning fast networking solution for roblox.

Rust 165 26 Updated Feb 12, 2026

NES for the Analogue Pocket

SystemVerilog 210 10 Updated Jan 4, 2026

SNES for the Analogue Pocket

VHDL 418 18 Updated Nov 13, 2025

A lossless Lua 5.1 parser

Rust 486 61 Updated Jan 23, 2026

A standalone Luau runtime

Rust 829 120 Updated Oct 14, 2025

Radically simple multiplayer / networked WebAssembly

TypeScript 1,197 43 Updated Jul 14, 2024

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

Racket 3 1 Updated Mar 15, 2024

a discord client for modern macs

Swift 416 22 Updated Dec 20, 2023

openblack is an open-source game engine that supports playing Black & White (2001).

C++ 1,463 80 Updated Feb 1, 2026

Language Server Implementation for Luau

Luau 429 112 Updated Feb 25, 2026

a model of MIR and the Rust type/trait system

Rust 327 45 Updated Feb 17, 2026

A precise specification for "Rust lite / MIR plus"

Rust 967 47 Updated Jan 28, 2026

AstroNvim is an aesthetic and feature-rich neovim config that is extensible and easy to use with a great set of plugins

Lua 14,138 950 Updated Feb 18, 2026

A small, fast, and embeddable programming language based on Lua with a gradual type system.

C++ 5,295 540 Updated Feb 21, 2026

This is the release repository for Fan Control, a highly customizable fan controlling software for Windows.

18,814 552 Updated Feb 17, 2026

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Rust 3,026 64 Updated Sep 23, 2025
Next

AltStyle γ«γ‚ˆγ£γ¦ε€‰ζ›γ•γ‚ŒγŸγƒšγƒΌγ‚Έ (->γ‚ͺγƒͺγ‚ΈγƒŠγƒ«) /