ariel

A fast, small, safe, gradually typed embeddable scripting language derived from Lua

the irc crate – usable, async IRC for Rust

A generic markov chain implementation in Rust.

The essence of Rust.

Open Source MapleStory Server Emulator (v83)

A terminal IRC client in Rust.

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

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

A minimalistic IRC bouncer in Rust.

A small functional language with effect inference based on Koka.

A simple pasting service with syntax highlighting support.

An implementation of the Lambda Cube in Idris.

An artificial life simulator in Rust.

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

An IRC bot in Rust.

A fake stream for testing network applications backed by buffers.

Java MapleStory Server Emulator - v111

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

My configuration files and whatnot.

An IRC bot in Rust for playing Dungeons and Dragons.

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

Share your appreciation with someone you love.

growing herbs in my garden

The latest in a long line of personal websites.

🍊

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

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

A Java library for the NX file format.

Rest in peace.

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

growing herbs in my garden

A collection of plugins for awebot.

Project Euler problems in (poor) Haskell.

An exercise in data modelling and frustration.

A fast CHIP-8 emulator with indie cred.

A simple, lightweight utility library for C.

A modern, extensible Creatures clone.

The worst, best MMO server ever.

The worst, best MMO client ever.

An implementation of Hamelin in Rust.

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

A specification of Viewstamped Replication in mypvy.

An old custom Ghost theme that I used to use.

It's *your* book biome.

Language Server Implementation for Luau

No description.

90+ utility user-defined type functions for luau.

Open Source Creator Documentation

RFCs for Luau evolution

Is it graduation yet? Find out.

A famous rabbit with various objects on its head.

A simple, educational Java library for sorting algorithms.

RogueCraft: a Bukkit plugin to make stealth feasible.

WeissCraft: Bukkit plugins for nothing.

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

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

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

An implementation of the Paxos view change algorithm in Rust.

The borrowck and nll test suites modified for use with the Oxide implementation.

SwinsianDiscord is a simple menubar app for macOS that allows you to share what you are playing in Swinsian or iTunes on Discord.

Emacs OCaml mode

A language for symbolic transitions system, inspired by Ivy.

Rust doesn't have exceptions

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

A Crusader Kings 2 mod that enables the creation of the Kingdom of Belgium.

No description.