nvarner

typst-lsp

A brand-new language server for Typst, plus a VS Code extension

hydroponics

A hydroponics system for the Raspberry Pi controlled from a web console.

keybindings

High school project to create a unified keybindings reference for many apps. Designed to use their config files to pull data quickly. Project from April 2018. Rebased October 2022 to fix email in git.

libv4l-rs

Video4Linux2 bindings for Rust

make-a-url-longer

High school project to make a URL longer with JavaScript. Inspired by a friend contemplating URL shorteners. Project from February 2018. Rebased October 2022 to fix email in git.

one-dollar-word

Project from May 2016. Rebased October 2022 to fix email in git, but not my "interesting" commit history.

personal-data

Unfinished middle/high school summer project. Supposed to be a tool for retrieving data about yourself from various sources and putting it into a MySQL database. Don't remember how far it got, unfortunately. Originally from July 2017. Rebased October 2022 to fix email in git.

physiwell

Short choose-your-own-adventure game created as a final project for Honors 240 Wellness at the University of Michigan

plex

a parser and lexer generator as a Rust procedural macro

recursive-regex

Deserialize a string into a struct based on regular expression capture groups. Very like the recap crate, but regex deserialization here can be nested. (Mirror of a GitLab repo)

svg

Composer and parser for SVG

units

High school unit conversion library.

air

Eighth grade science class project about air. The entire set of pages (counting each Nitrogen on the last page as a full-length page) is 1/10 the height of the atmosphere, Each gas takes space proportional to its distribution in the air. Project from February 2017. Rebased October 2022 to fix email in git.

aliens

My eighth grade "CIA website" to convince a friend aliens do not exist. I'm sure it was very convincing.... Project from June 2017. Rebased October 2022 to fix email in git.

churchill-map

Online map of Winston Churchill High School with navigation between classrooms. Mirrored from GitLab (https://gitlab.com/nvarner/churchill-map)

co2-comparison

High school hackathon project to compare the global warming impact of unrelated things.

elsa

Append-only collections for Rust where borrows to entries can outlive insertions

flutter_cube

A Flutter 3D widget that renders Wavefront's object files.

cubical-categorical-logic

Extensions to the cubical stdlib category theory for categorical logic/type theory

gradescope-api

typst

A new markup-based typesetting system that is powerful and easy to learn.

zydeco

a proof-of-concept programming language based on Call-by-push-value