grhkm21 Goto Github PK

actual-lean4

Lean 4 programming language and theorem prover

advent-of-code-2021

I will be attempting Advent of Code 2022 with Rust, a language I have never learned before.

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

ctf-challenges

CTF Challenges I have authored

dnasequencertemplate

docker-vm

docker-vm modified by grhkm

ellipticcurves

etterna

Advanced cross-platform rhythm game focused on keyboard play

grhkm21.github.io

Gareth's Personal Blog (using Hugo)

lattice-estimator

An attempt at a new LWE estimator

lean

grhkm having fun with lean and mathlib!

lean.nvim

neovim support for the Lean theorem prover

lean4

grhkm messing around with lean4!

lean4game

leancornerfree

Formalising Ben Green's "Lower bounds for corner-free sets" in Lean 4

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

python-flint

Python bindings for Flint and Arb

raytracing

Ray Tracing in One Weekend (in Rust)

rust

Empowering everyone to build reliable and efficient software.

rust-dfa-nfa-regex

Converting between DFA, NFA and Regex in Rust

rust-graphics

Experimenting with Rust and WebGL

sage

Main repository of SageMath. Now open for Issues and Pull Requests.

snakeprotemplate

Learning Java - Snake "Pro" template using javax.swing and java.awt for events

solidity

Solidity, the Smart Contract Programming Language