DarkVanityOfLight
Follow
-
-
-
smt2-string-benchmarks Public
Analysing the performance of CVC5, z3alpha, z3-noodler and Ostrich
Jupyter Notebook UpdatedDec 14, 2024 -
-
FrostCraft Public
A frostpunk inspired gamemode for minecraft, maintain and expand your generator to survive in a harsh cold enviroment
Kotlin UpdatedOct 16, 2024 -
-
lyric-server Public
Send lyrics from a spotify client via a websocket
TypeScript UpdatedOct 12, 2024 -
-
-
-
Exercises from my Parallel and Concurrent Programming class at RPTU
Java UpdatedJan 17, 2024 -
KSpigot Public
Forked from jakobkmar/KSpigotExtended Spigot and Bukkit API for Kotlin
Kotlin GNU General Public License v3.0 UpdatedDec 19, 2023 -
-
In this repository I gather the formalized proofs from my Logic and Semantic classes.
Python UpdatedDec 2, 2023 -
TruthTabelGenerator Public
Create truth tabels and readable formulas, from LaTeX formulas
Zig UpdatedNov 19, 2023 -
Dotfilesv2 Public
My new Dotfiles with the Catppuccin theme
-
SpicetifyAdBlock Public archive
This uses Spicetify to block ads, it is an extension from @CharlieS1103 ad blocker
-
-
-
SpicetifyLyricServer Public archive
Provide Lyrics to anyone who connects per web socket
TypeScript UpdatedMar 30, 2023 -
-
-
-
trading-gym Public
Provides utils to train a trading AI using reinforcment learning
-
HTML-EmailClient Public
An email client to write html emails. Written with Python and QT
Python UpdatedAug 15, 2021 -
-
-
-
Log-clearer Public
Clear all your logs stored in /var/log. No restoring possible
-