Abdullah Uyu's starred repositories
animate-lean-proofs
tool for turning Lean proofs into Blender animations
Chess.lean
Chess in Lean 4
InternLM-Math
State-of-the-art bilingual open-sourced Math reasoning LLMs.
pyflightdata
A simple library to get flight data from various websites from within Python code
iata-arrivals-cli
Get airport arrivals, departures, details and METAR weather info from CLI
tagging-project
Issues related to the tagging project
auto-dark-emacs
Auto-Dark-Emacs is an auto changer between 2 themes, dark/light, following MacOS, Linux or Windows Dark Mode settings
infinity-cosmos
A blueprint for a formalization of infinity-cosmos theory in Lean.
LeanProject
Template for blueprint-driven formalization projects in Lean.
paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
predicativize
A tool for sharing proofs with predicative systems
polynomials
Trying to write a multivariable polynomial stuff
Junicode-font
A new version of Junicode font
virtual_gamepad
You sometimes need to convince a video game that you own a gamepad...