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 6 months ago
• hanngoc1406 / naive-locket
  ☆16Updated 11 months ago
• jalsol / colorole-pp
  A simple Discord bot to change username's colors by replacing their roles
  ☆16Updated 2 years ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆24Updated last month
• TP-O / goer
  Support to register for courses on the Edusoft website.
  ☆11Updated last year
• dinhanhx / gir
  Rust programming, in Vietnamese.
  ☆42Updated 2 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated 3 weeks ago
• missing-semester-vn / missing-semester-vn.github.io
  The Missing Semester of Your CS Education 📚 - Bản Tiếng Việt
  ☆17Updated last year
• adomani / MA4N1_Theorem_proving_with_Lean
  MA4N1 Theorem Proving with Lean
  ☆13Updated 8 months ago
• Julian / lftim
  Mathematical learnings with Lean, for those of us who wish we knew more of both!
  ☆10Updated 2 years ago
• dat911zz / CPU-Scheduling-Algorithms
  Chương trình minh họa các giải thuật định thời CPU (CPU Scheduling Algorithms Visualization)
  ☆25Updated 2 years ago
• Luka-O / polya-enumeration-theorem
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆18Updated last month
• leanprover / lean-action
  GitHub action for standard CI in Lean projects
  ☆21Updated 2 weeks ago
• chanind / mathlib-changelog
  ☆10Updated this week
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆100Updated 2 weeks ago
• YangTuanAnh / ProtoCluster
  A multi-stage graph neural network classification pipeline for protein meshes.
  ☆14Updated last month
• lean-dojo / LeanMillenniumPrizeProblems
  Formalization of the Millennium Problems in Lean4.
  ☆17Updated 3 months ago
• justiny7 / competitive-programming
  Source code for all my competitive programming activities
  ☆13Updated 6 months ago
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆60Updated 2 weeks ago
• arthurpaulino / LeanMySQL
  A MySQL API for Lean 4
  ☆17Updated 3 years ago
• arthurpaulino / lean2md
  ☆21Updated last year
• TOTBWF / coolttviz
  ☆23Updated 3 years ago
• vihdzp / rubik-lean4
  Lean 4 formalization of Rubik's cubes
  ☆33Updated 5 months ago
• appliedfm / vstyle-tools
  A formatter/linter for Coq source
  ☆14Updated 3 years ago
• FR-vdash-bot / Algorithm
  Verified efficient algorithms in Lean4.
  ☆28Updated 3 months ago
• leanprover-community / quote4
  Intuitive, type-safe expression quotations for Lean 4.
  ☆88Updated 2 weeks ago
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆30Updated last year
• leanprover / LeanInk
  LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
  ☆62Updated last year
• kmill / LeanTeX
  Lean 4 library for pretty printing expressions as LaTeX
  ☆25Updated 4 months ago
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆16Updated last year