mini-ml
2022Ein Lambda-Kalkül-Typechecker und -Evaluator: Hindley-Milner-Typinferenz, Unifikation und Auswertung, geschrieben in F#.
- F#
- .NET
- Hindley-Milner
Berufliche und private Projekte, nach Themengebiet statt nach Kontext sortiert.
Ein Lambda-Kalkül-Typechecker und -Evaluator: Hindley-Milner-Typinferenz, Unifikation und Auswertung, geschrieben in F#.
Eine Neuimplementierung des egrep-Befehls: Parsen regulärer Ausdrücke, NFA-Konstruktion und anschließende Determinisierung zum DFA.
Eine kleine, von Grund auf geschriebene Rendering-Engine als Basis für die Creative-Coding-Projekte unten.
Ein von Grund auf in C++ und OpenGL geschriebener Minecraft-Klon: Terrain-Generierung, Chunk-Meshing und Rendering.
Eine zweidimensionale N-Körper-Gravitationssimulation.
Coding-Train-Challenges, in C# auf einer selbst gebauten, Processing-ähnlichen Engine umgesetzt.
Ein Tetris-Klon in C++.
Ein Peer-to-Peer-Dateifreigabesystem in Java.
Ein selbst administrierter VPS: ein Dutzend containerisierter Dienste, Reverse Proxy, VPN, private NuGet-Registry und Backups. Diese Seite gehört dazu.