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
  ☆32Updated last year
• jalsol / colorole-pp
  A simple Discord bot to change username's colors by replacing their roles
  ☆16Updated 3 years ago
• justiny7 / competitive-programming
  Source code for all my competitive programming activities
  ☆13Updated last year
• dinhanhx / gir
  Rust programming, in Vietnamese.
  ☆44Updated 3 years ago
• hanngoc1406 / naive-locket
  ☆17Updated last year
• TP-O / goer
  Support to register for courses on the Edusoft website.
  ☆11Updated last year
• Luka-O / polya-enumeration-theorem
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆21Updated 7 months ago
• missing-semester-vn / missing-semester-vn.github.io
  The Missing Semester of Your CS Education 📚 - Bản Tiếng Việt
  ☆18Updated last week
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆40Updated 3 weeks ago
• YangTuanAnh / ProtoCluster
  A multi-stage graph neural network classification pipeline for protein meshes.
  ☆15Updated 3 months ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆31Updated 6 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated last week
• YangTuanAnh / transnetv2_pytorch
  PyTorch inference script for TransNetV2
  ☆28Updated 5 months ago
• lean-dojo / LeanMillenniumPrizeProblems
  Formalization of the Millennium Problems in Lean 4
  ☆40Updated 2 weeks 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)
  ☆24Updated 3 years ago
• Beastwick18 / awesome-tuis
  List of projects that provide terminal user interfaces
  ☆37Updated last year
• liyishuai / coq-http
  HTTP specification in Coq, testable and verifiable
  ☆16Updated 4 months ago
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆72Updated last week
• Julian / lftim
  Mathematical learnings with Lean, for those of us who wish we knew more of both!
  ☆10Updated 3 years ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆182Updated 5 months ago
• adomani / MA4N1_Theorem_proving_with_Lean
  MA4N1 Theorem Proving with Lean
  ☆17Updated 2 months ago
• arthurpaulino / LeanMySQL
  A MySQL API for Lean 4
  ☆19Updated 3 years ago
• uziii2208 / VMWare-Workstation-17-Pro-License-Keys
  Free License | VMWare Workstation 17 Pro and more !!!
  ☆31Updated last year
• leanprover-community / mathlib-changelog
  ☆14Updated this week
• sinhp / HoTTLean
  ☆50Updated 2 weeks ago
• J2TEAM / Rhyme-Finder-Release
  Rhyme Finder - Phần mềm tìm vần rap (tìm vần đôi, vần ba, vần đảo,...)
  ☆16Updated 2 years ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆83Updated this week
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• YaelDillies / LeanAPAP
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆20Updated last week
• lengyijun / goldbach_tm
  Goldbach conjecture = 25-state turing machine
  ☆36Updated last year