Alternatives and similar repositories for data

Users that are interested in data are comparing it to the libraries listed below

• FluffyMaguro / AoE4_Overlay
  ☆162Updated 2 months ago
• y-t-bot / opensea-instant-outbidder-bidding-bot
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆100Updated 3 years ago
• screeps / docs
  Documentation site for Screeps online game
  ☆95Updated last month
• timkurvers / redota
  Revisit past Dota 2 matches in the browser
  ☆80Updated this week
• teorth / erdos-guy-selfridge
  Project to verify the Guy-Selfridge conjectures
  ☆24Updated 7 months ago
• screepers / screeps-arena-typescript-starter
  ☆67Updated 3 years ago
• alexwidua / aegis
  A tiny game to practice shortcuts for the videogame Age of Empires.
  ☆68Updated 2 years ago
• dotabuff / manta
  Dotabuff's Dota 2 Source 2 Replay Parser in Go
  ☆661Updated last month
• felipelincoln / albion-blackmarket-arbitrage
  a tool for comparing local market prices to the black market in Albion Online
  ☆38Updated 3 years ago
• alexanderdavide / slidev-theme-academic
  Academic presentations with Slidev made simple 🎓
  ☆156Updated 9 months ago
• Southclaws / fnm-nushell
  fnm -> this -> load-env = use fnm in nushell
  ☆12Updated 9 months ago
• eagleoflqj / sympy_beta
  SymPy-powered, Wolfram|Alpha-like answer engine totally in your browser, without backend computation. Discord: https://discord.gg/gq4c9uf…
  ☆70Updated 3 weeks ago
• gohugoio / hugo-goldmark-extensions
  Work in progress.
  ☆28Updated 5 months ago
• broderickhyman / albiondata-client
  Distributed client for the Albion Online Data project.
  ☆188Updated 3 years ago
• odota / parser
  Replay parse server generating JSON log events from Dota 2 replay files
  ☆150Updated last week
• HearthSim / python-hslog
  Python module to parse Hearthstone Power.log files
  ☆78Updated 8 months ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆41Updated last year
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆486Updated last month
• teorth / newton
  ☆12Updated 2 years ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆247Updated 2 weeks ago
• Cairath / tools-not-included
  Tools for Oxygen Not Included
  ☆45Updated 6 years ago
• yangky11 / lean4-example
  ☆15Updated 7 months ago
• SichYuriy / aoe4-production-calculator
  ☆28Updated last month
• Ahli / sc2xml
  ☆13Updated 4 months ago
• Ying1123 / awesome-neural-symbolic
  A list of awesome neural symbolic papers.
  ☆51Updated 3 years ago
• rocq-community / vsc-conceal
  Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
  ☆59Updated 2 years ago
• skadistats / clarity
  Comically fast Dota 2, CSGO, CS2 and Deadlock replay parser written in Java.
  ☆731Updated last month
• alissa-tung / glean
  ☆28Updated 8 months ago
• arXiv / arxiv-search
  arXiv Search UI & APIs
  ☆135Updated last month
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆40Updated 3 months ago