Repositories Users Organizations Code
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
Nix-Configs / katex-html
Nix 0 0

A Ruby script to convert LaTeX in pages into HTML.

Updated 6 months ago

Nix-Configs / katex-server
Nix 0 0

A tiny web server exposing KaTeX through an API.

Updated 6 months ago

CS-515 / formal
Coq 0 0

Formal verification of solution from the homework.

Updated 9 months ago

Nix-Configs / server-config
Nix 0 0

Updated 6 months ago

Nix-Configs / blog-static-flake
Nix 0 0

Nix flake / derivation for building my blog.

Updated 5 months ago

CS-565 / Homework-4
Elm 0 0

Updated 1 year ago

CS-583 / Homework-New
Haskell 0 0

Solutions from when I actually took the class.

Updated 1 year ago

Maypop / maypop-vanilla-theme
SCSS 0 0

Modification of the Vanilla Hugo theme for Maypop's website.

Updated 1 year ago

Web-Projects / vanilla-hugo
SCSS 0 0

Hugo theme for my blog.

Updated 3 weeks ago

ECE-571 / Labs
Perl 0 0

Updated 2 years ago

ECE-571 / Homework
TeX 0 0

Updated 1 year ago

CS-582 / Homework
Idris 0 0

Updated 1 year ago

ECE-570 / SeqSim
Elm 0 0

Updated 2 years ago

ECE-570 / Report
C 0 0

Updated 2 years ago

ECE-570 / Homework-2
TeX 0 0

Updated 2 years ago

ECE-570 / Homework-1
TeX 0 0

Updated 2 years ago

Advent-of-Code / advent
Crystal 0 0

Common code that may come in useful for advent of code solutions.

Updated 2 years ago

Advent-of-Code / AdventOfCode-2020
Crystal 0 0

Updated 2 years ago

Advent-of-Code / AdventOfCode-2019
Crystal 0 0

Updated 2 years ago

Advent-of-Code / AdventOfCode-2017
Kotlin 0 0

Updated 2 years ago