Pinned Repositories
ojdl2
TowerDefence
Some random First person tower defence game
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
lean-liquid
💧 Liquid Tensor Experiment
chat
erdOne.github.io
IOICmath
blog
ega
amateur translation project of Grothendieck's EGA.
flang
Flang is a Fortran language front-end designed for integration with LLVM.
erdOne's Repositories
erdOne/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
erdOne/ojdl2
erdOne/IOICmath
erdOne/lean-AG-morphisms
erdOne/leandiscord-weekly
Weekly challenges for the Lean Discord Server.
erdOne/gomoku-demo
erdOne/vscode-lean
An extension for VS Code which provides support for the Lean language.
erdOne/lean-mode
Emacs mode for Lean
erdOne/TowerDefence
Some random First person tower defence game
erdOne/flang
Flang is a Fortran language front-end designed for integration with LLVM.
erdOne/ega
amateur translation project of Grothendieck's EGA.
erdOne/UTAhahaha
erdOne/python-astar
Simple implementation of the a-star algorithm in Python 🌟
erdOne/tianwuphysics
erdOne/erdOne.github.io
erdOne/sympy
A computer algebra system written in pure Python
erdOne/kuroshiro
Japanese language library for converting Japanese sentence to Hiragana, Katakana or Romaji with furigana and okurigana modes supported.
erdOne/chat
erdOne/blog