grhkm21's repositories
advent-of-code-2022
I will be attempting Advent of Code 2022 with Rust, a language I have never learned before.
raytracing
Ray Tracing in One Weekend (in Rust)
rust-dfa-nfa-regex
Converting between DFA, NFA and Regex in Rust
advent-of-code-2023
Advent of Code 2023
python-flint
Python bindings for Flint and Arb
SnakeProTemplate
Learning Java - Snake "Pro" template using javax.swing and java.awt for events
advent-of-code-2021
I will be attempting Advent of Code 2022 with Rust, a language I have never learned before.
CTF-challenges
CTF Challenges I have authored
docker-vm
docker-vm modified by grhkm
grhkm21.github.io
Gareth's Personal Blog (using Hugo)
actual-lean4
Lean 4 programming language and theorem prover
lattice-estimator
An attempt at a new LWE estimator
lean.nvim
neovim support for the Lean theorem prover
learningtosqi.github.io
LearningToSQI Blog Repo
noulith
*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
NWERC-2022
Repository for my solutions to NWERC 2022, hosted in Delft, Netherlands. We solved 7 / 12 and placed 35th.
osu-wiki
home of the osu! wiki
PrimeNumberTheoremAnd
blueprint for prime number theorem and more
rust
Empowering everyone to build reliable and efficient software.
rust-graphics
Experimenting with Rust and WebGL
sage
Main repository of SageMath. Now open for Issues and Pull Requests.
solidity
Solidity, the Smart Contract Programming Language
sympy
A computer algebra system written in pure Python
typescript-AoT-2023
Advent of TypeScript 2023
uwcs-docker
Using docker to host Flask application.
wimp-2024
WIMP 2024 Talk