ariel

irc. the irc crate – usable, async IRC for Rust

oxide. The essence of Rust.

markov. A generic markov chain implementation in Rust.

Orpheus. Open Source MapleStory Server Emulator (v83)

alectro. A terminal IRC client in Rust.

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

pkgnx. Blazing fast binary data format for video games – PKG4 for Java

diet-coke. A small functional language with effect inference based on Koka.

spilo. A minimalistic IRC bouncer in Rust.

meep. A simple pasting service with syntax highlighting support.

cube.idr. An implementation of the Lambda Cube in Idris.

life-sim. An artificial life simulator in Rust.

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

awebot. An IRC bot in Rust.

tomato. Java MapleStory Server Emulator - v111

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.

amomentoflove.org. Share your appreciation with someone you love.

dnd. An IRC bot in Rust for playing Dungeons and Dragons.

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

dotfiles. My configuration files and whatnot.

verbena. growing herbs in my garden

Tupelo. A (work-in-progress) IRC client for the 21st Century.

libjinx2. A Java library for the NX file format.

sanguinello. 🍊

rip. Rest in peace.

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

reasoning-with-types. Corresponding example code from my blog post "Reasoning with Types in Rust"

weiss.city. The latest in a long line of personal websites.

witch-hazel. growing herbs in my garden

pixalia. The worst, best MMO client ever.

critters. A modern, extensible Creatures clone.

minuet. A simple, lightweight utility library for C.

hamelin.rs. An implementation of Hamelin in Rust.

theraphosa. Snakes on the web? I think they're getting eaten.

chipster. A fast CHIP-8 emulator with indie cred.

awebot-plugins. A collection of plugins for awebot.

srcerror. An exercise in data modelling and frustration.

vr.pyv. A specification of Viewstamped Replication in mypvy.

heuler. Project Euler problems in (poor) Haskell.

pixalia-server. The worst, best MMO server ever.