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