AdrianDoM

Pinned Repositories

ComplexFunctions
Visualisation of complex functions of a complex variable.
Language:JavaScript10
DomainColoring
Utilities to plot domain coloring plots with matplotlib.
Language:Python00
geometry
Language:Lean00
GlaMS-lean-test
00
HacktheBurghSeasonalRecipes
Language:HTML00
hyped-versioncontrol
Hyped Git Workshop exercises
Language:Shell00
IMOinLEAN
A collection of formalisations in the LEAN interactive theorem prover
Language:Lean10
lftcm2020
Lean for the Curious Mathematician 2020
Language:Lean01
neat-js
A homemade implementation of the NEAT (NeuroEvolution of Augmenting Topologies) algorithm.
Language:JavaScript00
path-test
Inf2D Assignment 1 Pathfinding algorithms testing framework
Language:Python72

AdrianDoM's Repositories

AdrianDoM/path-test
Inf2D Assignment 1 Pathfinding algorithms testing framework
Language:Python72
AdrianDoM/ComplexFunctions
Visualisation of complex functions of a complex variable.
Language:JavaScript10
AdrianDoM/IMOinLEAN
A collection of formalisations in the LEAN interactive theorem prover
Language:Lean10
AdrianDoM/DomainColoring
Utilities to plot domain coloring plots with matplotlib.
Language:Python00
AdrianDoM/geometry
Language:Lean00
AdrianDoM/GlaMS-lean-test
00
AdrianDoM/HacktheBurghSeasonalRecipes
Language:HTML00
AdrianDoM/hyped-versioncontrol
Hyped Git Workshop exercises
Language:Shell00
AdrianDoM/lftcm2020
Lean for the Curious Mathematician 2020
Language:Lean01
AdrianDoM/neat-js
A homemade implementation of the NEAT (NeuroEvolution of Augmenting Topologies) algorithm.
Language:JavaScript00
AdrianDoM/p5js-lab
Collection of p5js sketches made for fun!
Language:JavaScript
AdrianDoM/stack-web