erdOne

Pinned Repositories

blog
Language:HTML0 1 00
chat
Language:JavaScript1 1 00
ega
amateur translation project of Grothendieck's EGA.
Language:TeX0 1 00
erdOne.github.io
Language:HTML1 1 00
flang
Flang is a Fortran language front-end designed for integration with LLVM.
Language:C0 1 00
IOICmath
Language:C++1 1 00
ojdl2
Language:JavaScript2 2 00
TowerDefence
Some random First person tower defence game
Language:Python3 2 00
lean-liquid
💧 Liquid Tensor Experiment
Language:Lean186 14 7615
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 53 362298

erdOne's Repositories

erdOne/TowerDefence
Some random First person tower defence game
Language:Python3 2 00
erdOne/ojdl2
Language:JavaScript2 2 00
erdOne/chat
Language:JavaScript1 1 00
erdOne/erdOne.github.io
Language:HTML1 1 00
erdOne/IOICmath
Language:C++1 1 00
erdOne/blog
Language:HTML0 1 00
erdOne/ega
amateur translation project of Grothendieck's EGA.
Language:TeX0 1 00
erdOne/flang
Flang is a Fortran language front-end designed for integration with LLVM.
Language:C0 1 00
erdOne/gomoku-demo
Language:HTML1 0
erdOne/kuroshiro
Japanese language library for converting Japanese sentence to Hiragana, Katakana or Romaji with furigana and okurigana modes supported.
Language:JavaScript
erdOne/lean-AG-morphisms
Language:Lean
erdOne/lean-mode
Emacs mode for Lean
Language:Emacs Lisp0 0
erdOne/leandiscord-weekly
Weekly challenges for the Lean Discord Server.
0 0
erdOne/python-astar
Simple implementation of the a-star algorithm in Python 🌟
Language:Python1 0
erdOne/sympy
A computer algebra system written in pure Python
Language:Python1 0
erdOne/tianwuphysics
Language:JavaScript
erdOne/UTAhahaha
Language:C++1 0
erdOne/vscode-lean
An extension for VS Code which provides support for the Lean language.
Language:TypeScript0 0
erdOne/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
Language:TypeScript0 0