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☆21Updated 8 months ago
- A simple Discord bot to change username's colors by replacing their roles☆16Updated 2 years ago
- PyTorch inference script for TransNetV2☆23Updated last month
- Rust programming, in Vietnamese.☆41Updated 2 years ago
- An experimental non-deterministic concatenative golfing language☆24Updated 2 weeks ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Updated 3 months ago
- orz☆15Updated 2 years ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆28Updated 2 months ago
- 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
- The Steel separation logic library for F*☆36Updated last month
- Coq code formatter☆23Updated 3 weeks ago
- 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☆20Updated last year
- Alternative implementation of the logical framework Dedukti in Rust☆22Updated 5 months ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 3 years ago
- A formatter/linter for Coq source☆14Updated 3 years ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆35Updated 2 weeks ago
- The Missing Semester of Your CS Education 📚 - Bản Tiếng Việt☆18Updated 2 months ago
- 🌍 🐓 Formal verification for JavaScript☆17Updated 2 years ago
- dependent type theory experiment☆26Updated last year
- Source code for all my competitive programming activities☆13Updated 9 months ago
- Support to register for courses on the Edusoft website.☆11Updated last year
- ☆14Updated 3 years ago
- A proof tree viewer that works with Coq through Proof General☆28Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- ☆37Updated last month
- HTTP specification in Coq, testable and verifiable☆16Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆34Updated 4 months ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆53Updated 2 months ago
- A Lean library for Computer Science☆121Updated this week
- 🩺 A library for compiler diagnostics☆47Updated last month