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
  ☆27Updated 11 months ago
• jalsol / colorole-pp
  A simple Discord bot to change username's colors by replacing their roles
  ☆16Updated 3 years ago
• YangTuanAnh / transnetv2_pytorch
  PyTorch inference script for TransNetV2
  ☆27Updated 3 months ago
• Julian / lftim
  Mathematical learnings with Lean, for those of us who wish we knew more of both!
  ☆10Updated 3 years ago
• missing-semester-vn / missing-semester-vn.github.io
  The Missing Semester of Your CS Education 📚 - Bản Tiếng Việt
  ☆18Updated 4 months ago
• TP-O / goer
  Support to register for courses on the Edusoft website.
  ☆11Updated last year
• dinhanhx / gir
  Rust programming, in Vietnamese.
  ☆43Updated 2 years ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆36Updated last week
• YangTuanAnh / ProtoCluster
  A multi-stage graph neural network classification pipeline for protein meshes.
  ☆14Updated last month
• justiny7 / competitive-programming
  Source code for all my competitive programming activities
  ☆13Updated 11 months ago
• Luka-O / polya-enumeration-theorem
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆21Updated 6 months ago
• lean-dojo / LeanMillenniumPrizeProblems
  Formalization of the Millennium Problems in Lean4.
  ☆22Updated 2 months ago
• 0art0 / lean-slides
  A tool to auto-generate and render slides from Markdown comments in the Lean editor.
  ☆23Updated last month
• arthurpaulino / LeanMySQL
  A MySQL API for Lean 4
  ☆19Updated 3 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated this week
• liyishuai / coq-http
  HTTP specification in Coq, testable and verifiable
  ☆16Updated 2 months ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆64Updated this week
• fpvandoorn / LeanCourse23
  ☆34Updated last year
• frodakcin / orz-bot
  orz
  ☆15Updated 3 years ago
• diksown / touristfacts
  🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.
  ☆40Updated last year
• hanngoc1406 / naive-locket
  ☆17Updated last year
• leanprover / cslib
  The Lean Computer Science Library (CSLib)
  ☆184Updated this week
• FStarLang / steel
  The Steel separation logic library for F*
  ☆36Updated 2 weeks ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆30Updated 4 months ago
• chanind / mathlib-changelog
  ☆11Updated this week
• TOTBWF / coolttviz
  ☆23Updated 4 years ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆61Updated 5 months ago
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆78Updated last week
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆113Updated 2 weeks ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago