Khoa-bit / IUGen2Links
Fast and clean schedule generator for IUers!
☆11Updated 2 years ago
Alternatives and similar repositories for IUGen2
Users that are interested in IUGen2 are comparing it to the libraries listed below
Sorting:
- University documents that I have collected from HCM-IU VNU☆25Updated 10 months ago
- A simple Discord bot to change username's colors by replacing their roles☆16Updated 3 years ago
- PyTorch inference script for TransNetV2☆26Updated 3 months ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆30Updated 3 months ago
- Coq code formatter☆24Updated this week
- The Missing Semester of Your CS Education 📚 - Bản Tiếng Việt☆18Updated 4 months ago
- ☆16Updated last year
- Tất cả bài thực hành môn Lập trình hướng đối tượng - Trường Đại học Công nghệ Thông tin☆22Updated last year
- A Lean library for Computer Science☆169Updated this week
- A Lean 4 formalization of Pólya enumeration theorem.☆21Updated 5 months ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 3 years ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆36Updated 2 months ago
- A multi-stage graph neural network classification pipeline for protein meshes.☆14Updated last month
- HTTP specification in Coq, testable and verifiable☆16Updated last month
- Rust programming, in Vietnamese.☆43Updated 2 years ago
- Source code for the Mathematics in Lean tutorial.☆175Updated 3 months ago
- Alternative implementation of the logical framework Dedukti in Rust☆22Updated 7 months ago
- ☆23Updated 4 years ago
- Free License | VMWare Workstation 17 Pro and more !!!☆31Updated 11 months ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆75Updated this week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆61Updated this week
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆78Updated last week
- 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
- A toy dependent typed language.☆32Updated this week
- A MySQL API for Lean 4☆19Updated 3 years ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆90Updated this week
- Formalization of the Millennium Problems in Lean4.☆22Updated last month
- A simple implementation of XTT, "A cubical language for Bishop sets"☆27Updated 3 years ago
- Lean documentation authoring tool☆233Updated this week