Khoa-bit / IUGen2Links
Fast and clean schedule generator for IUers!
☆11Updated 3 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☆30Updated last year
- A simple Discord bot to change username's colors by replacing their roles☆16Updated 3 years ago
- A multi-stage graph neural network classification pipeline for protein meshes.☆14Updated 2 months ago
- Rust programming, in Vietnamese.☆43Updated 3 years ago
- The Missing Semester of Your CS Education 📚 - Bản Tiếng Việt☆18Updated 5 months ago
- Source code for all my competitive programming activities☆13Updated last year
- orz☆15Updated 3 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Updated 7 months ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 3 years ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆31Updated 5 months ago
- PyTorch inference script for TransNetV2☆27Updated 4 months ago
- ☆12Updated this week
- Fork of Python with some terrible custom features hacked in☆14Updated 3 years ago
- Support to register for courses on the Edusoft website.☆11Updated last year
- An experimental non-deterministic concatenative golfing language☆26Updated last week
- Coq code formatter☆24Updated 2 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆319Updated last month
- tool for turning Lean proofs into Blender animations☆79Updated 2 weeks ago
- Lambda Calculus compiler for Codewars☆17Updated 3 months ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆24Updated 3 weeks ago
- A zero-knowledge Lean4 compiler and kernel☆142Updated last year
- Step-by-step guide to running macOS on Windows with full feature unlock and successful iCloud login.☆63Updated 6 months ago
- The Lean Computer Science Library (CSLib)☆220Updated this week
- Complicated math expression generator☆102Updated 3 weeks ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆39Updated last week
- 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
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆67Updated 3 weeks ago
- ☆17Updated last year
- Chess in Lean 4☆26Updated 2 months ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year