PEGASIS: Practical Efficient Class Group Action using 4-Dimensional Isogenies

Rime Cantonese input schema | 中州韻粵語拼音輸入方案

A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.

If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.

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

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

My Advent of Code solutions

Computation of isogenies using Weber modular polynomials

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

Pulse Browser: An experimental firefox fork

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

Equational laws for free

Main repository of SageMath

Messing around with cryptographic schemes

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

grhkm messing around with lean4!

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

grhkm having fun with lean and mathlib!

Assorted Jupyter notebooks by Daniel Estévez

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

Ray Tracing in One Weekend (in Rust)

🧘 Distraction-free coding for Neovim

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

Compile time numbers in Rust.

Dark deno-powered completion framework for Vim/Neovim

A completion plugin for neovim coded in Lua.