2020 Rookies 세미나
☆27Oct 26, 2022Updated 3 years ago
Alternatives and similar repositories for seminar-2020
Users that are interested in seminar-2020 are comparing it to the libraries listed below
Sorting:
- 2021 Rookies 세미나☆47Dec 21, 2022Updated 3 years ago
- SNUTT web 클라이언트☆14Feb 8, 2023Updated 3 years ago
- SNU Timetable (deprecated)☆39Jan 24, 2025Updated last year
- ☆25Feb 28, 2026Updated last week
- ☆30Jan 4, 2023Updated 3 years ago
- Learning Software Engineering By Building Web Services☆27Nov 25, 2021Updated 4 years ago
- 와플스튜디오 20.5기 Rookies Repository☆32Sep 10, 2023Updated 2 years ago
- Protobuf Kotlin Dataclass, Converter & Custom Kotlin Coroutine gRPC Generator☆105Nov 10, 2025Updated 3 months ago
- Principles and Practices of Software Development Main Repository☆17Jun 10, 2024Updated last year
- FireQ: Fast INT4-FP8 Kernel and RoPE-aware Quantization for LLM Inference Acceleration☆20Jun 27, 2025Updated 8 months ago
- A Netty Codec for the MySQL/MariaDB protocol☆22Jun 21, 2022Updated 3 years ago
- Official implementation of "Flying Guide Dog: Walkable Path Discovery for the Visually Impaired Utilizing Drones and Transformer-based Se…☆14Feb 6, 2022Updated 4 years ago
- Simple, safe way to store and distribute tensors☆15Feb 19, 2026Updated 2 weeks ago
- Repository of free educational resources for learning artificial intelligence☆13Jan 24, 2022Updated 4 years ago
- A library to convert Uber's H3 geo-index to LatLng vertices for Kotlin Multiplatform Mobile iOS and Android☆13Mar 20, 2023Updated 2 years ago
- Bibata Cursor, with support for hyprcursor and Xcursor☆19Jan 28, 2025Updated last year
- A Neovim client for VsCoq 2 vscoqtop.☆12Nov 8, 2025Updated 4 months ago
- Provides support for after/colors/ scripts (Mirrors Peter Hodge's AfterColors.vim on vim.org)☆11May 7, 2017Updated 8 years ago
- Attestant's Vouch & Dirk in docker compose, to be used with eth-docker☆13Jun 2, 2025Updated 9 months ago
- Collection of interesting patterns, inspired by nature, powered by p5js☆10Jun 2, 2018Updated 7 years ago
- The first large scale formally verified reasoning dataset for Verilog☆20May 16, 2025Updated 9 months ago
- With one whole audio and corresponding text, the audio can be split line by line and saved with exact sentence using comparison with the …☆10Feb 28, 2019Updated 7 years ago
- Django field that set/get django's new TextChoices/IntegerChoices enum☆16Feb 4, 2026Updated last month
- Apache Nemo (Incubating) - Data Processing System for Flexible Employment With Different Deployment Characteristics☆113Jul 1, 2025Updated 8 months ago
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 7 years ago
- latex class for manuals☆11Sep 10, 2024Updated last year
- Swift lambda calculus functions supporting intensional equality☆12Jun 19, 2016Updated 9 years ago
- Wrapper scripts to make documentation easier☆13Feb 11, 2026Updated 3 weeks ago
- ☆12May 30, 2024Updated last year
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated last year
- Personal blog of ENvironmentSet based on oversomething.☆14Oct 29, 2024Updated last year
- Basic demo of OCaml's PPX feature.☆10Mar 22, 2015Updated 10 years ago
- GADT-based field accessors and utilities☆17Jan 15, 2026Updated last month
- Approximate Personalized Page Rank☆16Jun 27, 2024Updated last year
- 🔖 🌐☆10Mar 5, 2023Updated 3 years ago
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- 서버 개발자로서 홀로서기☆314Sep 18, 2021Updated 4 years ago
- ☆10Nov 20, 2023Updated 2 years ago
- Web browser remote control☆16Jan 29, 2023Updated 3 years ago