Skip to content
View Sheinxy's full-sized avatar
πŸ³οΈβ€πŸŒˆ
Doing maths full time
πŸ³οΈβ€πŸŒˆ
Doing maths full time

Block or report Sheinxy

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

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…

Python 365 21 Updated Dec 13, 2025

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

Haskell 265 44 Updated Feb 8, 2026

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.

Kotlin 62 7 Updated Sep 14, 2023

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

Kotlin 49 1 Updated May 15, 2023

Advent of Code complete solution archive and common library

Haskell 48 2 Updated Dec 12, 2025

Advent Of Code 2022

Haskell 26 Updated Dec 25, 2022

Modern C++ Single Header Functional Testing Framework

C++ 10 Updated Jun 14, 2025

πŸ•Ή 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

C# 10 Updated Jun 24, 2021

Code me to AfterLife, S2 Project

C# 10 1 Updated Jun 22, 2021

A better Chronos

Svelte 10 Updated May 11, 2021

My Advent Of Code Solutions

Python 8 1 Updated Dec 19, 2023

Advent of code omnibus repository

Python 7 Updated Jan 5, 2026

My solutions for the Advent of Code puzzles!

Haskell 7 Updated Dec 8, 2023

Repo containing my solutions for the advent of code events

Python 6 Updated Dec 24, 2023

Advent of code, probably be in several languages for fun

Haskell 5 Updated Dec 22, 2025
Haskell 4 1 Updated Dec 13, 2025

Advent of code 2023

Haskell 4 Updated Nov 20, 2024
Haskell 4 Updated Dec 22, 2022
Rust 3 Updated Dec 9, 2022

Advent of code

Haskell 2 Updated Jan 28, 2026

2nd one in a row!

Rust 2 Updated Dec 7, 2023

Minesweeper game (and AI WIP) implemented with Svelte

JavaScript 2 Updated Dec 31, 2020

Amazon price tracker using python, BeautifulSoup and Pandas

Python 2 Updated Sep 25, 2020

portfolio using svelte

Svelte 2 Updated Nov 1, 2020

Leetcode

Python 2 Updated Dec 5, 2021

Gleam implementation of the Advent of Code 2025

Gleam 1 Updated Dec 9, 2025

My Advent of Code solutions for 2024

Haskell 1 Updated Dec 17, 2024
Haskell 1 Updated Dec 25, 2023
Haskell 1 Updated Dec 16, 2023

Advent of Code 2023

Haskell 1 Updated Jan 20, 2024
Next