Niklas Mohrin's repositories
adventofcode2019
Solutions to https://adventofcode.com/2019
lean-seminar-2023
Construction of a flow equivalent forest from a flow matrix in Lean 4
Language:Python000
Language:Rust000
adventofcode2023
My solutions to https://adventofcode.com/2023
Language:PythonMIT000
bat
A cat(1) clone with wings.
Language:RustApache-2.0000
cp
Competitive programming code snippets and reference document
Language:C++000
EvaP
a university course evaluation system written in Python using Django
Language:PythonNOASSERTION000
fd
A simple, fast and user-friendly alternative to 'find'
Language:RustApache-2.0000
franckHertzExperiment
Simulation of the Quantum Physic experiment by Franck & Hertz.
Language:JavaScriptAGPL-3.0000
hyrise
Hyrise is a research in-memory database.
Language:C++MIT000
nix.dev
An opinionated guide for developers wanting to get things done with the Nix ecosystem.
Language:PythonCC-BY-SA-4.0000
spotify_playlist_merger
An app that merges small playlists into all possible combinations.
Language:JavaScript000
tealdeer
A very fast implementation of tldr in Rust.
Language:RustApache-2.0000
typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:RustApache-2.0000