Pinned Loading

1. WaneEngine WaneEngine Public

   A novice's chess engine, written in lua.

   Lua 1

2. deduce deduce Public

   Forked from jsiek/deduce

   A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

   Python

3. CLox CLox Public

   My implementation of lox in C following the crafting interpreters book. (http://craftinginterpreters.com/)

   C 1

4. SortingAlgs SortingAlgs Public

   A Little Sorting Algorithm Visualizer written in vanilla js and html

   JavaScript

5. AdventOfCode2023 AdventOfCode2023 Public

   My solutions for Advent of Code!

   Lua

6. Mandlebrot Mandlebrot Public

   Playing with the mandlebrot set in love2d

   Lua