Alternatives and similar repositories for IUGen2

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

• dominhduy09 / university-documents
  University documents that I have collected from HCM-IU VNU
  ☆21Updated 9 months ago
• jalsol / colorole-pp
  A simple Discord bot to change username's colors by replacing their roles
  ☆16Updated 2 years ago
• dinhanhx / gir
  Rust programming, in Vietnamese.
  ☆42Updated 2 years ago
• YangTuanAnh / transnetv2_pytorch
  PyTorch inference script for TransNetV2
  ☆25Updated 2 months ago
• missing-semester-vn / missing-semester-vn.github.io
  The Missing Semester of Your CS Education 📚 - Bản Tiếng Việt
  ☆18Updated 2 months ago
• frodakcin / orz-bot
  orz
  ☆15Updated 2 years ago
• Luka-O / polya-enumeration-theorem
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆21Updated 4 months ago
• Julian / lftim
  Mathematical learnings with Lean, for those of us who wish we knew more of both!
  ☆10Updated 3 years ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆29Updated 2 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆23Updated 3 weeks ago
• leanprover / cslib
  A Lean library for Computer Science
  ☆140Updated this week
• TP-O / goer
  Support to register for courses on the Edusoft website.
  ☆11Updated last year
• hanngoc1406 / naive-locket
  ☆16Updated last year
• diksown / touristfacts
  🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.
  ☆39Updated last year
• justiny7 / competitive-programming
  Source code for all my competitive programming activities
  ☆13Updated 9 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆275Updated last month
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆35Updated last month
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆72Updated this week
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆60Updated this week
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆26Updated 3 years ago
• chanind / mathlib-changelog
  ☆10Updated this week
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last month
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆76Updated last month
• kendfrey / rubiks-cube-group
  A formalization of the Rubik's cube group
  ☆27Updated 5 years ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆172Updated 2 months ago
• leanprover-community / lean-auto
  Experiments on automation for Lean
  ☆141Updated 3 weeks ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆48Updated last year
• pi-base / data
  A community database of topological counterexamples
  ☆129Updated this week
• enjeck / num2math
  Complicated math expression generator
  ☆103Updated last year
• ah1112 / synthetic_euclid_4
  ☆11Updated last year