Aaron Weiss

Login: aatxe

Company: @nuprl

Location: Paris, France

Bio: Computer Scientist, aspiring academic, programming language researcher, leftist. PhD student at @nuprl. @plasma-umass alum.

Blog: https://aaronweiss.us/

Blog: https://aaronweiss.us/

Member of

2. Idris Hackers
3. Northeastern University Programming Research Lab
4. PdgnCo: The Pdgn Collective
5. PLASMA
6. Secure Interoperability, Languages, and Compilers
7. The NGG Group
8. The Rust Programming Language
9. The Worcester Society (WSACS)
10. null

Repositories

aaronweiss.us

The latest in a long line of personal websites.

alectro

A terminal IRC client in Rust.

amomentoflove.org

Share your appreciation with someone you love.

awebot

An IRC bot in Rust.

awebot-plugins

A collection of plugins for awebot.

Bibliome

It's *your* book biome.

chalk

A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler

chipster

A fast CHIP-8 emulator with indie cred.

critters

A modern, extensible Creatures clone.

cube.idr

An implementation of the Lambda Cube in Idris.

diet-coke

A small functional language with effect inference based on Koka.

dnd

An IRC bot in Rust for playing Dungeons and Dragons.

dotfiles

My configuration files and whatnot.

Ghastly

An old custom Ghost theme that I used to use.

git-scrub

A small Rust tool for scrubbing author and committer data from git repositories.

hacl-rs

Rusty bindings for HACL*, a formally verified cryptographic library written in F*.

hamelin.rs

An implementation of Hamelin in Rust.

heuler

Project Euler problems in (poor) Haskell.

irc

the irc crate ? usable, async IRC for Rust

irc-services

A unified IRC services bot in Rust, used long ago by PdgnCo but replaced with anope.

isigy

Is it graduation yet? Find out.

libjinx2

A Java library for the NX file format.

libsort

A simple, educational Java library for sorting algorithms.

life-sim

An artificial life simulator in Rust.

markov

A generic markov chain implementation in Rust.

markov4tumblr

This small tool uses the Tumblr API to scrape posts from select blogs and build a Markov chain out of it.

meep

A simple pasting service with syntax highlighting support.

minuet

A simple, lightweight utility library for C.

nanopass.github.io

null

oolong.php

A famous rabbit with various objects on its head.

OpenMaple

A fast MapleStory emulator aiming to bring openness back to the private server community.

Orpheus

Open Source MapleStory Server Emulator (v83)

pixalia

The worst, best MMO client ever.

pixalia-server

The worst, best MMO server ever.

pkgnx

Blazing fast binary data format for video games ? PKG4 for Java

reasoning-with-types

Corresponding example code from my blog post "Reasoning with Types in Rust"

rip

Rest in peace.

RogueCraft

RogueCraft: a Bukkit plugin to make stealth feasible.

spilo

A minimalistic IRC bouncer in Rust.

srcerror

An exercise in data modelling and frustration.

Team-1923-Rebound-Rumble

Team 1923's software for the FIRST Robotics Competition for 2012.

tokio-mockstream

A fake stream for testing network applications backed by buffers.

tomato

Java MapleStory Server Emulator - v111

Ultimate-Ascent

FIRST Team 1923's official repository for the 2013 game, Ultimate Ascent.

weisscraft

WeissCraft: Bukkit plugins for nothing.

wwprsd-webstart

A web start page for the WW-P Regional School District.

Commits To