https://github.com/nvarner/typst-lsp

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

lsp lsp-server typst vscode-extension

Last synced: 14 May 2025

https://github.com/nvarner/physiwell

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

choose-your-own-adventure cpp game

Last synced: 13 Sep 2025

https://github.com/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)

Last synced: 10 Mar 2025

https://github.com/nvarner/cubed

Experimental Agda library compatible with --cubical-erased. Many things are broken. Not intended for general use.

Last synced: 19 Jan 2026

https://github.com/nvarner/churchill-map

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

Last synced: 24 Apr 2026