-- Leo's gemini proxy

-- Connecting to boringcactus.com:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini

(brought to you by boringcactus)

Projects


January 2022: Glides, an Elixir and React service for train tracking on the MBTA's Green Line


Glides


March 2021: makers, a Rust implementation of `make`


makers


November 2020: cactus-ssg, a Python static site generator targeting both WWW and Gemini (built this site right here!)


cactus-ssg


September 2020: Crowbar, a language offering "the good parts of C, with a little bit extra"


Crowbar


September 2020: gemifedi, a Rust server offering a Gemini frontend to the fediverse


gemifedi


September 2020: csgo-gsi, a Rust library for integrating with CS:GO


csgo-gsi


August 2020: the Fuck Around and Find Out License, an experimental software license


the Fuck Around and Find Out License


June 2020: Slabforge, a JS CAD tool for slab-built ceramics built as part of research published at CHI '22


Slabforge

research published at CHI '22


June 2020: pig.observer, a JS frontend for viewing several traffic camera streams simultaneously (finished)


pig.observer


December 2019: cargo-why, tracing dependency paths to show why a Rust crate is needed in the current project


cargo-why


December 2019: wasm-pack pull request #745, adding watch and serve subcommands


wasm-pack pull request #745


November 2019: wasm-pack pull request #736, adding support for binary crates (finished)


wasm-pack pull request #736


October 2019: wasm-bindgen pull request #1843, adding support for binary crates (finished)


wasm-bindgen pull request #1843


October 2019: OWReplayRenderer, a utility in Rust to render out Overwatch replays to a single video file automatically


OWReplayRenderer


September 2019: micro-ci, a tiny self-hosted CI system written in Rust


micro-ci


September 2019: compiler for the While programming language, written in Rust as a group project for a compilers class


While programming language


June 2019: faketwitch, an IRC server shim in Python to allow Twitch-chat-integrated games to use other services instead of Twitch


faketwitch


February 2019: vidslice, a wxPython GUI wrapping youtube-dl and ffmpeg (finished)


vidslice


January 2019: kink.garden, a (NSFW) Django service for maintaining lists of kinks (finished)


kink.garden


January 2019: DynaMaze, a Rust-based multiplayer game compiled to WebAssembly (finished)


DynaMaze


December 2018: crabravebot, a Python (originally JS) service for easily overlaying text over Crab Rave


crabravebot


August 2018: undergraduate thesis on natural language processing and textual entailment (finished)


February 2018: full stack web application with Spring, React, and Elasticsearch for a software engineering class (finished)


October 2017: functional-dependency-generator, a PHP site that generates database theory example problems (finished)


functional-dependency-generator


August 2017: rust-editorconfig, an editorconfig library for Rust that I substantially contributed to


rust-editorconfig


July 2017: MFTE, a Nano clone written in Rust


MFTE


April 2017: graphics library exposing XPM and Swing-like layout interfaces and targeting a set-one-pixel-at-a-time renderer


March 2017: cull21, a Ruby web-based Gmail API client designed specifically for powering through backlogs (finished)


cull21


January 2017: Yummy Goodness, a JS game built with Elm (finished)


Yummy Goodness


September 2016: prodenfd, a Ruby program that doesn't let me play games if I have pending tasks in my todo list due soon (finished)


prodenfd


August 2016: verbatim, an Electron application for integration testing an actual binary against an expected one (finished)


verbatim


July 2016: Rust pull request #34694, adding trivial helper methods to the `IpAddr` enum


Rust pull request #34694


June 2016: halfhearted, a JS game built with just React (finished)


halfhearted


January 2016: compare-ignoring-articles, a JS library for sorting in a natural way


compare-ignoring-articles


January 2016: Galactic Max, a JS game built on Phaser with a full team for a hackathon (finished)


Galactic Max


December 2015: CS Eco Dash, a Rust web application taking CS:GO data and presenting recommendations


CS Eco Dash

CS:GO data


September 2015: E-800, a Rails web app for running and grading student-submitted code


E-800


August 2015: Java application translating CSV exports from one program to be importable by another, with a Swing GUI


June 2015: Relief Valve, an Electron application for moving Steam games between libraries (finished)


Relief Valve


March 2015: statdns-socks5, a Go proxy server for DNS-over-HTTP before it was cool


statdns-socks5


November 2014: komodo, a Web-based realtime quiz system powered by Meteor


komodo


May 2014: AltcoinNetWorth, a Web-based dashboard for an altcoin portfolio, written in Go


AltcoinNetWorth


December 2013: LD28-You-Only-Get-One, a Backbone-powered textual JS game


LD28-You-Only-Get-One


August 2013: hamwerk, a Web-based todo list specialized for homework powered by Meteor (finished)


hamwerk


July 2013: MCWebDash, a Web-based dashboard showing the status of a Minecraft server


MCWebDash


June 2013: SpawnAndBack, a simple Minecraft mod


SpawnAndBack


March 2013: BecauseWhyNot, a CPU emulator written in CoffeeScript for the DCPU-16 fictional CPU from Notch's cancelled 0x10c.


BecauseWhyNot


March 2013: CompetentDeathMessages, a Minecraft server plugin


CompetentDeathMessages


January 2013: Republica Eternity Event III, a Minecraft server plugin some friends needed help with


Republica Eternity Event III


November 2012: StaffDrops, a Minecraft server plugin a friend needed help with


StaffDrops


July 2012: Multiverse Core pull request #780, adding a feature to a Minecraft server plugin


Multiverse Core pull request #780


October 2011: github.js, a library for making client-side calls to the GitHub API


github.js


May 2011: Zrczr, a canvas-based JS game


Zrczr


May 2011: Pecan.js, a library for persisting scroll position


Pecan.js


March 2011: VCRI, a Chrome extension tweaking an existing JS game (finished)


VCRI


January 2011: Arduinochet, a needlessly-motorized trebuchet I built with a friend


Arduinochet


February 2010: Acts 20:2, a Java Swing application displaying periodic popups of Bible verses, which I built in collaboration with a few other people


Acts 20:2


January 2009: EPlanner, a todo list specialized for homework built in Java with Swing


EPlanner


(these are start dates, because that's what made sense to me at the time)

-- Response ended

-- Page fetched on Thu May 2 15:06:56 2024