Repositories Users Organizations Code
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
CS-515 / formal
Coq 0 0

Formal verification of solution from the homework.

Updated 2 weeks ago

Nix-Configs / server-config
Nix 0 0

Updated 2 months ago

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

Nix flake / derivation for building my blog.

Updated 2 months ago

CS-565 / Homework-4
Elm 0 0

Updated 8 months ago

CS-583 / Homework-New
Haskell 0 0

Solutions from when I actually took the class.

Updated 7 months ago

Maypop / maypop-vanilla-theme
SCSS 0 0

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

Updated 8 months ago

Web-Projects / vanilla-hugo
SCSS 0 0

Hugo theme for my blog.

Updated 2 weeks ago

ECE-571 / Labs
Perl 0 0

Updated 10 months ago

ECE-571 / Homework
TeX 0 0

Updated 9 months ago

CS-582 / Homework
Idris 0 0

Updated 9 months ago

ECE-570 / SeqSim
Elm 0 0

Updated 1 year ago

ECE-570 / Report
C 0 0

Updated 1 year ago

ECE-570 / Homework-2
TeX 0 0

Updated 1 year ago

ECE-570 / Homework-1
TeX 0 0

Updated 1 year ago

Advent-of-Code / advent
Crystal 0 0

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

Updated 1 year ago

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

Updated 1 year ago

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

Updated 1 year ago

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

Updated 1 year ago

Advent-of-Code / AdventBot
Python 0 0

A little bot to send updates from a private AoC leaderboard to a discord channel.

Updated 1 year ago

CS-581 / Homework
Haskell 0 0

Homework assignments for CS 581.

Updated 1 year ago