Pinned Repositories
gradescope-tools
A collection of apps and libraries to help large courses automate tasks involving Gradescope.
churchill-map
Online map of Winston Churchill High School with navigation between classrooms. Mirrored from GitLab (https://gitlab.com/nvarner/churchill-map)
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.
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.
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
typst-lsp
A brand-new language server for Typst, plus a VS Code extension
nvarner's Repositories
nvarner/typst-lsp
A brand-new language server for Typst, plus a VS Code extension
nvarner/hydroponics
A hydroponics system for the Raspberry Pi controlled from a web console.
nvarner/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.
nvarner/libv4l-rs
Video4Linux2 bindings for Rust
nvarner/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.
nvarner/one-dollar-word
Project from May 2016. Rebased October 2022 to fix email in git, but not my "interesting" commit history.
nvarner/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.
nvarner/physiwell
Short choose-your-own-adventure game created as a final project for Honors 240 Wellness at the University of Michigan
nvarner/plex
a parser and lexer generator as a Rust procedural macro
nvarner/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)
nvarner/svg
Composer and parser for SVG
nvarner/units
High school unit conversion library.
nvarner/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.
nvarner/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.
nvarner/churchill-map
Online map of Winston Churchill High School with navigation between classrooms. Mirrored from GitLab (https://gitlab.com/nvarner/churchill-map)
nvarner/co2-comparison
High school hackathon project to compare the global warming impact of unrelated things.
nvarner/elsa
Append-only collections for Rust where borrows to entries can outlive insertions
nvarner/flutter_cube
A Flutter 3D widget that renders Wavefront's object files.
nvarner/cubical-categorical-logic
Extensions to the cubical stdlib category theory for categorical logic/type theory
nvarner/gradescope-api
nvarner/grammars-and-semantic-actions
Monoidal Toposes of Grammars and Semantic Actions
nvarner/typst
A new markup-based typesetting system that is powerful and easy to learn.
nvarner/zydeco
a proof-of-concept programming language based on Call-by-push-value