wafflestudio / seminar-2022View external linksLinks
와플스튜디오 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:
- Programming Principles, SNU 4190.210, 2023 Fall☆21Dec 6, 2023Updated 2 years ago
- 2020 Rookies 세미나☆27Oct 26, 2022Updated 3 years ago
- ☆17Dec 8, 2022Updated 3 years ago
- iOS version for SNUTT☆26Updated this week
- Seoul National University TimeTable service☆21Updated this week
- Mathpresso Go Utility Repository☆11Dec 12, 2022Updated 3 years ago
- SNU Timetable (deprecated)☆39Jan 24, 2025Updated last year
- A simple package to format Backus-Naur form☆14Updated this week
- ☆75Nov 21, 2024Updated last year
- SNUTT web 클라이언트☆14Feb 8, 2023Updated 3 years ago
- ☆16Apr 19, 2022Updated 3 years ago
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆22Dec 3, 2023Updated 2 years ago
- 🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)☆36Updated this week
- issue-to-notion☆30Nov 29, 2020Updated 5 years ago
- A programmable open source blockchain engine☆37Jan 20, 2023Updated 3 years ago
- Collection of interesting patterns, inspired by nature, powered by p5js☆10Jun 2, 2018Updated 7 years ago
- 토스 로그인 Android SDK 를 위한 모노레포입니다.☆10Mar 14, 2024Updated last year
- A Neovim client for VsCoq 2 vscoqtop.☆11Nov 8, 2025Updated 3 months ago
- Provides support for after/colors/ scripts (Mirrors Peter Hodge's AfterColors.vim on vim.org)☆11May 7, 2017Updated 8 years ago
- ☆11Jul 25, 2024Updated last year
- 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 6 years ago
- Bibata Cursor, with support for hyprcursor and Xcursor☆19Jan 28, 2025Updated last year
- Pokedex App by Mobile Declarative UI Pattern☆11Aug 4, 2024Updated last year
- Personal blog of ENvironmentSet based on oversomething.☆14Oct 29, 2024Updated last year
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated last year
- GADT-based field accessors and utilities☆17Jan 15, 2026Updated 3 weeks ago
- ☆12May 30, 2024Updated last year
- Basic demo of OCaml's PPX feature.☆10Mar 22, 2015Updated 10 years ago
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- latex class for manuals☆11Sep 10, 2024Updated last year
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- 절친 안드로이드 프로젝트☆12Nov 15, 2022Updated 3 years 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 2 months ago
- 우리 모임 아이스브레이킹의 시작, 산타마니또☆11Jun 29, 2025Updated 7 months ago
- 🔵 [App][Android] AppLock for Android☆12Aug 31, 2020Updated 5 years ago
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 7 years ago
- Wrapper scripts to make documentation easier☆13Updated this week
- Swift lambda calculus functions supporting intensional equality☆12Jun 19, 2016Updated 9 years ago
- Python module for I2C control of the SparkFun Qwiic Serial LCDs☆13May 28, 2025Updated 8 months ago