SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Advent of Code 2023

A repository for the Advent of Code 2023

Advent of code omnibus repository

Advent of Code complete solution archive and common library

My Advent Of Code Solutions

My solutions for the Advent of Code puzzles!

Advent of code!

Advent of code 2023

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…

Advent Of Code 2022

Advent of Code 2022, in GO

Advent of code

Advent of code, probably be in several languages for fun

2nd one in a row!

🕹 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

A Kotlin lexer framework with an easy-to-use DSL

Code me to AfterLife, S2 Project

A better Chronos

Minesweeper game (and AI WIP) implemented with Svelte

Amazon price tracker using python, BeautifulSoup and Pandas

portfolio using svelte

Leetcode

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.