Pinned Loading

1. Matrix-Math Matrix-Math Public

   Website about matrices made for my Web Technologies class project.

   JavaScript

2. forktree forktree Public

   Simple library to display trees generated by code using `fork`, made to help study for an exam.

   C 1

3. KeyChecker KeyChecker Public

   Win32-API based GUI program to display currently pressed keys.

   C++ 1

4. rsarc rsarc Public

   Reed-Solomon erasure coding in Rust

   TeX

5. UntypedLambdaCalculus UntypedLambdaCalculus Public

   Proof of Yf =β f(Yf) in untyped lambda calculus using Lean

   Lean

6. xsort xsort Public

   Visualization of sorting algorithms with Xlib

   C