Pinned Repositories
adventofcode-2023
My solutions to advent of code for 2023. Mostly using OCaml to inspire new Programming 1 students at UdS
adventofcode-ocaml-template
A small template for advent of code only using vanilla OCaml. We use dune as a build system.
custom_infinite_craft
A custom implementation of Infinite Craft (https://neal.fun/infinite-craft/)
forschungstage-23
gathering
lambda-calc
A deBruijn implementation of the untyped lambda calculus implementation focused on equivalence proofs, a self-interpreter, and a verified compiler to SK
proof_tables
An interactive tool to play with proof tables as introduced in the mathematics prep course
SOOCaml-frontend
The User Interface for SOOCaml (old https://sosml.org)
thorin2
The Higher ORder INtermediate representation - next gen
transpilation
A summary of ideas about transpilation -- work in progress
NeuralCoder3's Repositories
NeuralCoder3/gathering
NeuralCoder3/automatedreasoning
NeuralCoder3/ctc20
Project 2: Diophantine
NeuralCoder3/Gather.Town-Tiled-Tools
NeuralCoder3/ic20
NeuralCoder3/jumpcutter
Automatically edits vidx. Explanation here: https://www.youtube.com/watch?v=DQ8orIurGxw
NeuralCoder3/pdfpc
A presenter console with multi-monitor support for PDF files.
NeuralCoder3/socoq
An online editor for coq proof scripts.
NeuralCoder3/TI