Abdullah Uyu's starred repositories
termux-app
Termux - a terminal emulator application for Android OS extendible by variety of packages.
org-roam-ui
A graphical frontend for exploring your org-roam Zettelkasten
hugo-theme-gruvbox
A retro-looking Hugo theme inspired by gruvbox. The pastel colors are high contrast, easily distinguishable, pleasing to the eye, and feature light and dark color palettes.
leanblueprint
plasTeX plugin to build formalization blueprints.
lean4-raytracer
A simple raytracer written in Lean 4
hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
flt-regular
Fermat's Last Theorem for regular primes
verbose-lean4
Natural language tactics to teach mathematics using Lean 4
lean-social-choice
A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
local-langlands-abelian
Formalization of Statement of Local Langlands Correspondence for Tori
bezierplot
bezierplot is a Lua program that approximates function plots by cubic bézier splines (paths are output in TikZ)
virtual_gamepad
You sometimes need to convince a video game that you own a gamepad...
uc-dissertation-latex-class
A LaTeX class for theses and dissertations submitted to the University of Cincinnati