LukasMias
Follow
-
pokepicker Public
Forked from JonafanTante/pokepickerstreamlit thingy to try and get balls for Pokemon
Python GNU General Public License v3.0 UpdatedMay 4, 2024 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedDec 9, 2023 -
LukasMias.github.io Public
Forked from academicpages/academicpages.github.ioGithub Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedOct 19, 2022 -
Sudoku-Cheat-Machine Public
A sudoku cheat machine written in Java, using JavaFX. A user may enter a partially finished Sudoku and get hints to progress.
Java UpdatedOct 31, 2021 -
A jetbrains academy exercise about self-correcting codes, like the Hamming code.
Java UpdatedJul 4, 2021 -
Another jetbrains exercise for a little number conversion tool.
Java UpdatedJul 4, 2021 -
Another jetbrains exercise about numbers and their properties
Java UpdatedJun 26, 2021 -
Another Intellij Academy exercise; Some fun interactions of Java with SQL.
Java UpdatedJun 20, 2021 -
An exercise project from jetbeans academy in which I built a small matrix calculator in Java. Nothing exceptional, but a fun exercise it was!
Java UpdatedJun 13, 2021