Florian Lercher's repositories
Therac-25-bugs
A tool to showcase the Therac-25 bugs
aoc-2021
Solutions for Advent of Code 2021
Language:Rust000
aoc-2022
Solutions for Advent of Code 2022
Language:Go000
ApodiniIoTDeploymentProvider
A deployment provider for Apodini web services in IoT environments
Language:Swift000
asyncac
Tools and case studies for my Master's thesis "Compositional Verification of Communicating UML State Machines"
Language:Haskell000
hci-bildung
A tool for creating interactive worksheets
mastermind
A command line version of the mastermind game
Language:Python000
OSMosis-ML
https://devpost.com/software/osmosis-e2gjn7
PenguinSnake
An implementation of the snake game using penguins.
Language:Java000