Pinned Loading

1. ergo ergo Public

   A Typst suite of customizable environments for notetaking and homework assignments, designed for students in math, CS and physics.

   Typst 47 2

2. superTemplate superTemplate Public

   Typst 5

3. nix-config nix-config Public

   Repo for nix dotfiles

   Nix 3

4. lsi lsi Public

   Interactive ls CLI

   Rust

5. dotfiles dotfiles Public

   1

6. aneziac/proof_wiki_vis aneziac/proof_wiki_vis Public

   Hackathon project visualizing connections in proof wiki

   Svelte 1