Pinned Loading

1. My_Raytracing_Adventures My_Raytracing_Adventures Public

   Based on the book Ray Tracing in One Week, mostly it's adaptation to Rust (https://misterdanb.github.io/raytracinginrust/).

   Rust

2. SkeanSplinesFun SkeanSplinesFun Public

   A simple 2d rasterizer that runs on the CPU. Inspired by the math in Freya Holmér's "The Beauty of Bézier Curves" (here: https://youtu.be/aVwxzDHniEw?si=N82cSppd1mhgOHRh), and, indirectly, Sebastia…

   Rust

3. string-function-verification string-function-verification Public

   Samuel Effendy's and Samuel Skean's work for the final class project in CS 472 - provably correct programming. Basic verification of simple string functions, done using refinedc.

   Coq 1

4. Olympicene/Nullability-in-OO Olympicene/Nullability-in-OO Public

   CS-476 Final Project

   OCaml 1 1

5. aves_ir aves_ir Public

   Tools for parsing Professor Luis Pina's stack-based compiler Intermediate Representation (IR), Aves.

   Rust