aatxe

programming language designer. @nuprl and @plasma-umass alum.

@RobloxSan Mateo, California

Pinned Repositories

alectro
A terminal IRC client in Rust.
Language:Rust68 3 14
irc
the irc crate – usable, async IRC for Rust
Language:Rust522 11 145100
markov
A generic markov chain implementation in Rust.
Language:Rust90 6 1233
OpenMaple
A fast MapleStory emulator aiming to bring openness back to the private server community.
Language:Java21 11 03
Orpheus
Open Source MapleStory Server Emulator (v83)
Language:Java99 11 3153
oxide
The essence of Rust.
Language:OCaml124 13 06
sanguinello
🍊
Language:Rust2 2 00
luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
Language:C++3.7k 69 445338
Rehearsal
Rehearsal: A Configuration Verification Tool for Puppet
Language:Scala11 11 23
Tortoise
Tortoise: Interactive System Configuration Repair
Language:Scala6 13 00

aatxe's Repositories

aatxe/irc
the irc crate – usable, async IRC for Rust
Language:Rust522 11 145100
aatxe/oxide
The essence of Rust.
Language:OCaml124 13 06
aatxe/markov
A generic markov chain implementation in Rust.
Language:Rust90 6 1233
aatxe/alectro
A terminal IRC client in Rust.
Language:Rust68 3 14
aatxe/spilo
A minimalistic IRC bouncer in Rust.
Language:Rust10 2 04
aatxe/cube.idr
An implementation of the Lambda Cube in Idris.
Language:Idris7 3 0
aatxe/meep
A simple pasting service with syntax highlighting support.
Language:Rust6 2 00
aatxe/awebot
An IRC bot in Rust.
Language:Rust5 3 12
aatxe/tokio-mockstream
A fake stream for testing network applications backed by buffers.
Language:Rust5 2 04
aatxe/life-sim
An artificial life simulator in Rust.
Language:Rust4 3 0
aatxe/amomentoflove.org
Share your appreciation with someone you love.
Language:HTML3 3 13
aatxe/dotfiles
My configuration files and whatnot.
Language:Emacs Lisp3 3 0
aatxe/awebot-plugins
A collection of plugins for awebot.
Language:Rust2 3 2
aatxe/hacl-rs
Rusty bindings for HACL*, a formally verified cryptographic library written in F*.
Language:Rust2 2 01
aatxe/reasoning-with-types
Corresponding example code from my blog post "Reasoning with Types in Rust"
Language:Rust2 2 01
aatxe/sanguinello
🍊
Language:Rust2 2 00
aatxe/Tupelo
A (work-in-progress) IRC client for the 21st Century.
Language:JavaScript2 3 0
aatxe/weiss.city
The latest in a long line of personal websites.
Language:CSS2 3 1
aatxe/theraphosa
Snakes on the web? I think they're getting eaten.
Language:JavaScript1 2 0
aatxe/vr.pyv
A specification of Viewstamped Replication in mypvy.
1 3 0
aatxe/chalk
A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler
Language:Rust2 0
aatxe/ck2-belgium
A Crusader Kings 2 mod that enables the creation of the Kingdom of Belgium.
Language:AMPL2 0
aatxe/fehler
Rust doesn't have exceptions
Language:Rust2 0
aatxe/luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
Language:C++1 0
aatxe/luau-rfcs
RFCs for Luau evolution
1 0
aatxe/mypyvy
A language for symbolic transitions system, inspired by Ivy.
Language:Python2 0
aatxe/oxide-test-suite
The borrowck and nll test suites modified for use with the Oxide implementation.
Language:Rust3 0
aatxe/paxos-vc
An implementation of the Paxos view change algorithm in Rust.
Language:Rust2 0
aatxe/SwinsianDiscord
SwinsianDiscord is a simple menubar app for macOS that allows you to share what you are playing in Swinsian or iTunes on Discord.
Language:Objective-C2 0
aatxe/tuareg
Emacs OCaml mode
Language:Emacs Lisp2 0