aoe4world / dataLinks
All AoE4 Unit Stats, Technologies, Buildings and other data in hosted json
☆52Updated 3 weeks ago
Alternatives and similar repositories for data
Users that are interested in data are comparing it to the libraries listed below
Sorting:
- ☆148Updated last month
- Explore units, stats and more☆30Updated 3 weeks ago
- Display stats, win-rates and most played civs of you and your opponent as a stream overlay.☆23Updated last month
- Source code for aoe4guides.com: Yet another Age of Empires IV build order tool☆21Updated 3 weeks ago
- Overlay for RTS, with build orders, match data...☆80Updated 3 weeks ago
- Stream Manager based on NodeCG☆10Updated 5 months ago
- Game mode that allows more customization over standard game rules in Age of Empires IV☆67Updated last year
- The Lean 4 web editor☆91Updated last month
- Server to host lean games.☆269Updated last week
- ☆10Updated last year
- Project to verify the Guy-Selfridge conjectures☆17Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆169Updated this week
- ImProver: Agent-Based Automated Proof Optimization☆32Updated this week
- Visual Studio Code extension for the Lean 4 proof assistant☆214Updated this week
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆124Updated this week
- Machine learning in Slay the Spire to predict fight outcomes and evaluate cards. Available on the Steam Workshop!☆31Updated 4 years ago
- Benchmark for undergraduate-level formal mathematics☆107Updated 7 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆129Updated this week
- An introduction to theorem proving in Lean for the impatient.☆201Updated 2 weeks ago
- A simple command-line bibtex query utility written in Lean 4☆11Updated 2 months ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆17Updated this week
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆25Updated this week
- blueprint for prime number theorem and more☆165Updated this week
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆24Updated last month
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆19Updated 2 years ago
- ☆45Updated 3 months ago
- A static analysis tool for Lean 4.☆74Updated this week
- ☆120Updated last week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- A "code intepreter" for Lean☆51Updated last week