grhkm21

fcitx5-rime

kitty

Cross-platform, fast, feature-rich, GPU based terminal

odd_is_odd

A very (not) safe Rust library to check if a number is odd. Based on cve-rs.

ELMO

statusline.lua

A zero-config minimal statusline for neovim written in lua featuring awesome integrations and blazing speed!

aoc

My Advent of Code solutions

isogeny_weber

Computation of isogenies using Weber modular polynomials

sage_acsv

A SageMath package with algorithms for analytic combinatorics in several variables.

deuring

browser

Pulse Browser: An experimental firefox fork

fpylll

A Python interface for https://github.com/fplll/fplll

quickspec

Equational laws for free

sage

Main repository of SageMath

zkproof

Messing around with cryptographic schemes

mizar-rs

Alternative Mizar proof checker (http://mizar.org/) written in Rust

lean4

grhkm messing around with lean4!

mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

unit-fractions

lean

grhkm having fun with lean and mathlib!

jupyter_notebooks

Assorted Jupyter notebooks by Daniel Estévez

hello-world.rs

🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1092🚀) dependencies🚀

raytracing

Ray Tracing in One Weekend (in Rust)

zen-mode.nvim

🧘 Distraction-free coding for Neovim

vim-surround

surround.vim: Delete/change/add parentheses/quotes/XML-tags/much more with ease

typenum

Compile time numbers in Rust.

ddc.vim

Dark deno-powered completion framework for neovim/Vim

nvim-cmp

A completion plugin for neovim coded in Lua.

rust-dfa-nfa-regex

Converting between DFA, NFA and Regex in Rust

advent-of-code-2022

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

reqwest

An easy and powerful Rust HTTP Client