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

Gleam implementation of the Advent of Code 2025

Gleam 1 Updated Dec 9, 2025

Advent of code

Haskell 2 Updated Dec 13, 2025

Modern C++ Single Header Functional Testing Framework

C++ 10 Updated Jun 14, 2025

My Advent of Code solutions for 2024

Haskell 1 Updated Dec 17, 2024

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

Haskell 264 44 Updated Dec 19, 2025
Haskell 1 Updated Dec 25, 2023
Haskell 4 1 Updated Dec 13, 2025
Haskell 1 Updated Dec 16, 2023

Advent of Code 2023

Haskell 1 Updated Jan 20, 2024

A repository for the Advent of Code 2023

Haskell 1 Updated Dec 21, 2023

Advent of code omnibus repository

Python 7 Updated Dec 19, 2025

Advent of Code complete solution archive and common library

Haskell 47 1 Updated Dec 12, 2025

My Advent Of Code Solutions

Python 8 1 Updated Dec 19, 2023

My solutions for the Advent of Code puzzles!

Haskell 7 Updated Dec 8, 2023

Advent of code!

C 1 Updated Dec 7, 2025

Advent of code 2023

Haskell 4 Updated Nov 20, 2024

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 362 21 Updated Dec 13, 2025

Advent Of Code 2022

Haskell 26 Updated Dec 25, 2022

Advent of Code 2022, in GO

Go 1 Updated Dec 15, 2022
Haskell 4 Updated Dec 22, 2022
Rust 3 Updated Dec 9, 2022

Advent of code

Haskell 1 Updated Dec 1, 2023

Advent of code, probably be in several languages for fun

Haskell 5 Updated Dec 19, 2025

2nd one in a row!

Rust 2 Updated Dec 7, 2023
Go 1 Updated Dec 2, 2021

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

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

Kotlin 49 1 Updated May 15, 2023

Code me to AfterLife, S2 Project

C# 10 1 Updated Jun 22, 2021

A better Chronos

Svelte 10 Updated May 11, 2021

Minesweeper game (and AI WIP) implemented with Svelte

JavaScript 2 Updated Dec 31, 2020
Next