grhkm21
Follow
-
sage Public
Forked from sagemath/sageMain repository of SageMath. Now open for Issues and Pull Requests.
Python Other UpdatedFeb 2, 2025 -
-
LeanCornerFree Public
Formalising Ben Green's "Lower bounds for corner-free sets" in Lean 4
TeX UpdatedAug 30, 2024 -
-
-
PrimeNumberTheoremAnd Public
Forked from AlexKontorovich/PrimeNumberTheoremAndblueprint for prime number theorem and more
Lean Apache License 2.0 UpdatedJun 14, 2024 -
-
-
-
actual-lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedOct 25, 2023 -
lean.nvim Public
Forked from Julian/lean.nvimneovim support for the Lean theorem prover
Lua MIT License UpdatedOct 19, 2023 -
lean4game Public
Forked from leanprover-community/lean4gameTypeScript GNU General Public License v3.0 UpdatedOct 15, 2023 -
python-flint Public
Forked from flintlib/python-flintPython bindings for Flint and Arb
-
learningtosqi.github.io Public
Forked from LearningToSQI/learningtosqi.github.ioLearningToSQI Blog Repo
HTML UpdatedAug 28, 2023 -
lattice-estimator Public
Forked from malb/lattice-estimatorAn attempt at a new LWE estimator
Python UpdatedAug 23, 2023 -
-
-
-
-
advent-of-code-2022 Public
I will be attempting Advent of Code 2022 with Rust, a language I have never learned before.
-
-
-
advent-of-code-2021 Public
I will be attempting Advent of Code 2022 with Rust, a language I have never learned before.
Rust UpdatedDec 9, 2022 -
noulith Public
Forked from betaveros/noulith*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
Rust UpdatedDec 7, 2022 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedDec 7, 2022 -
NWERC-2022 Public
Repository for my solutions to NWERC 2022, hosted in Delft, Netherlands. We solved 7 / 12 and placed 35th.
C++ UpdatedNov 30, 2022 -
docker-vm Public
docker-vm modified by grhkm
Dockerfile GNU General Public License v3.0 UpdatedOct 16, 2022 -
solidity Public
Forked from ethereum/soliditySolidity, the Smart Contract Programming Language
C++ GNU General Public License v3.0 UpdatedSep 11, 2022 -
sympy Public
Forked from sympy/sympyA computer algebra system written in pure Python
Python Other UpdatedJul 20, 2022 -
SnakeProTemplate Public
Learning Java - Snake "Pro" template using javax.swing and java.awt for events