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 7 months ago
- A simple Discord bot to change username's colors by replacing their roles☆16Updated 2 years ago
- Source code for all my competitive programming activities☆13Updated 7 months ago
- The Missing Semester of Your CS Education 📚 - Bản Tiếng Việt☆17Updated 2 weeks ago
- Coq code formatter☆24Updated this week
- Neovim client for coq-lsp☆27Updated 9 months ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆26Updated 2 weeks ago
- Formalization of the Millennium Problems in Lean4.☆18Updated 4 months ago
- Rust programming, in Vietnamese.☆42Updated 2 years ago
- An experimental non-deterministic concatenative golfing language☆24Updated 2 weeks ago
- A Lean library for Computer Science☆46Updated this week
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 2 years ago
- A MySQL API for Lean 4☆17Updated 3 years ago
- ☆16Updated last year
- tool for turning Lean proofs into Blender animations☆74Updated last month
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆32Updated last week
- HTTP specification in Coq, testable and verifiable☆16Updated last year
- ☆10Updated this week
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆82Updated 2 weeks ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆72Updated this week
- Agda interaction pluging for neovim☆39Updated 10 months ago
- Support to register for courses on the Edusoft website.☆11Updated last year
- ☆23Updated 3 years ago
- Document Generator for Lean 4☆100Updated 2 weeks ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12Updated 2 months ago
- Lean 4 library for pretty printing expressions as LaTeX☆27Updated 5 months ago
- A multi-stage graph neural network classification pipeline for protein meshes.☆14Updated 3 weeks ago
- NeoVim plugin for interacting with Agda written in Lua☆18Updated last year
- An open source stenographic theory that emphasises writing short.☆9Updated last year
- Mathematical proofs of the bbchallenge project.☆25Updated 3 months ago