-
Snaky's den
- France
- https://sheinxy.github.io
Stars
My Advent of Code submissions. For 2021 and before, these are the original code I used, without any modifications after-the-fact. As such, they are probably not as efficient or short as they shouldβ¦
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Authenticate people on your Discord servers and give them roles automatically. All-in-one server back-end, Discord bot and front-end. Works with Google, Microsoft and any OpenID Connect provider.
Advent of Code complete solution archive and common library
Modern C++ Single Header Functional Testing Framework
πΉ Fric-Frac is a game of hide-and-seek between thieves and residents. Thieves have to steal objects. Residents have to watch their house. Version Used : Unity 2020.2.2f1
My solutions for the Advent of Code puzzles!
Repo containing my solutions for the advent of code events
Advent of code, probably be in several languages for fun
Minesweeper game (and AI WIP) implemented with Svelte
Amazon price tracker using python, BeautifulSoup and Pandas