와플스튜디오 20.5기 Rookies Repository
☆32Sep 10, 2023Updated 2 years ago
Alternatives and similar repositories for seminar-2022
Users that are interested in seminar-2022 are comparing it to the libraries listed below
Sorting:
- 2021 Rookies 세미나☆47Dec 21, 2022Updated 3 years ago
- Programming Principles, SNU 4190.210, 2023 Fall☆22Dec 6, 2023Updated 2 years ago
- 2020 Rookies 세미나☆27Oct 26, 2022Updated 3 years ago
- iOS version for SNUTT☆26Updated this week
- Seoul National University TimeTable service☆22Updated this week
- Mathpresso Go Utility Repository☆11Dec 12, 2022Updated 3 years ago
- A simple package to format Backus-Naur form☆15Feb 9, 2026Updated last month
- ☆75Nov 21, 2024Updated last year
- SNUTT web 클라이언트☆14Feb 8, 2023Updated 3 years ago
- Principles and Practices of Software Development Main Repository☆17Jun 10, 2024Updated last year
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆22Dec 3, 2023Updated 2 years ago
- A Netty Codec for the MySQL/MariaDB protocol☆22Jun 21, 2022Updated 3 years ago
- 🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)☆40Feb 23, 2026Updated 2 weeks ago
- issue-to-notion☆30Nov 29, 2020Updated 5 years ago
- A programmable open source blockchain engine☆37Jan 20, 2023Updated 3 years ago
- Slack application HeyBurrito!☆94Mar 26, 2024Updated last year
- 토스 로그인 Android SDK 를 위한 모노레포입니다.☆10Mar 14, 2024Updated last year
- A Neovim client for VsCoq 2 vscoqtop.☆12Nov 8, 2025Updated 4 months ago
- DroidKnights 2024 - TextField 씹고 뜯고 맛보고 즐기고 Sample☆10Jun 11, 2024Updated last year
- Collection of interesting patterns, inspired by nature, powered by p5js☆10Jun 2, 2018Updated 7 years 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
- Bibata Cursor, with support for hyprcursor and Xcursor☆19Jan 28, 2025Updated last year
- Protobuf Kotlin Dataclass, Converter & Custom Kotlin Coroutine gRPC Generator☆105Nov 10, 2025Updated 3 months ago
- Swift lambda calculus functions supporting intensional equality☆12Jun 19, 2016Updated 9 years ago
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 7 years ago
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- 절친 안드로이드 프로젝트☆12Nov 15, 2022Updated 3 years ago
- latex class for manuals☆11Sep 10, 2024Updated last year
- GADT-based field accessors and utilities☆17Jan 15, 2026Updated last month
- Basic demo of OCaml's PPX feature.☆10Mar 22, 2015Updated 10 years ago
- Personal blog of ENvironmentSet based on oversomething.☆14Oct 29, 2024Updated last year
- ☆12May 30, 2024Updated last year
- 🔵 [App][Android] AppLock for Android☆12Aug 31, 2020Updated 5 years ago
- Pokedex App by Mobile Declarative UI Pattern☆11Aug 4, 2024Updated last year
- Wrapper scripts to make documentation easier☆13Feb 11, 2026Updated 3 weeks ago
- Hosted by AndroidDev_News, this challenge is designed to help you level up your Jetpack Compose skills—specifically focusing on `Canvas`,…☆26Nov 30, 2025Updated 3 months ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated last year
- 스누씨 3.0 프론트엔드☆45Mar 11, 2023Updated 2 years ago