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
jorge-mells-hangman_ocaml
First real ocaml project 😊
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
thorin2
The Higher ORder INtermediate representation - next gen
transpilation
A summary of ideas about transpilation -- work in progress
NeuralCoder3's Repositories
NeuralCoder3/gathering
NeuralCoder3/metacoq
Metaprogramming in Coq
NeuralCoder3/anydsl_autodiff_tests
NeuralCoder3/automatedreasoning
NeuralCoder3/coq-library-undecidability
A library of formalised undecidable problems in Coq
NeuralCoder3/coqdoc
NeuralCoder3/ctc20
Project 2: Diophantine
NeuralCoder3/Gather.Town-Tiled-Tools
NeuralCoder3/hex-puzzle
NeuralCoder3/ic20
NeuralCoder3/ImageSplit
NeuralCoder3/jumpcutter
Automatically edits vidx. Explanation here: https://www.youtube.com/watch?v=DQ8orIurGxw
NeuralCoder3/logisim-circuits
NeuralCoder3/mips-interpreter
A MIPS Assembly Interpreter written for the browser
NeuralCoder3/nat_seq
NeuralCoder3/nested_induction_v2
NeuralCoder3/parametricity-note
NeuralCoder3/pdfpc
A presenter console with multi-monitor support for PDF files.
NeuralCoder3/quantum-wordle
Quantum Wordle
NeuralCoder3/sheet-template
NeuralCoder3/smtcoq
Communication between Coq and SAT/SMT solvers
NeuralCoder3/socoq
An online editor for coq proof scripts.
NeuralCoder3/TI
NeuralCoder3/tutorbot
NeuralCoder3/Vorkurs-Bot
NeuralCoder3/vorkurs-discord