kaist-cp / helpdeskView external linksLinks
☆23Apr 1, 2021Updated 4 years ago
Alternatives and similar repositories for helpdesk
Users that are interested in helpdesk are comparing it to the libraries listed below
Sorting:
- ☆14Jan 20, 2021Updated 5 years ago
- ☆135Apr 3, 2023Updated 2 years ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆179Jun 13, 2025Updated 8 months ago
- ☆14Mar 28, 2014Updated 11 years ago
- ☆67Dec 11, 2018Updated 7 years ago
- KAIST CS420: Compiler Design☆552Apr 3, 2025Updated 10 months ago
- ☆1,479Aug 8, 2025Updated 6 months ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆45Aug 12, 2025Updated 6 months ago
- [INACTIVE] WIP Aheui frontend for llvm, implemented in Rust☆22Nov 2, 2015Updated 10 years ago
- my life☆29Jan 12, 2026Updated last month
- Tutorial for refinement based verification☆15Jan 16, 2026Updated 3 weeks ago
- Generate cryptographically random values in Elm☆12Jun 13, 2016Updated 9 years ago
- Simple http proxy which is written in python in order to bypass http://warning.or.kr☆100Jun 11, 2015Updated 10 years ago
- Benchmark popular Python WSGI servers with Tsung in Kubernetes☆38Jun 15, 2017Updated 8 years ago
- ☆28Aug 14, 2023Updated 2 years ago
- Non-interactive dependency upgrade tool for Yarn 2☆15Dec 15, 2023Updated 2 years ago
- ☆14Dec 16, 2020Updated 5 years ago
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrency☆43Oct 15, 2024Updated last year
- Support for language highlighting of KECC(KAIST Educational C Compiler) IR☆12May 17, 2022Updated 3 years ago
- 구데기컵 @ Baekjoon Online Judge☆35Mar 13, 2023Updated 2 years ago
- 하스켈 모임 웹사이트 소스 코드☆16Dec 8, 2021Updated 4 years ago
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆19Apr 27, 2023Updated 2 years ago
- (discontinued) Don't let IRCCloud disconnect you from the network.☆17Sep 9, 2020Updated 5 years ago
- SNU sugang captcha bot☆17Jun 29, 2016Updated 9 years ago
- /home/yous☆43Jan 26, 2026Updated 2 weeks ago
- i18n scripts☆25Jan 12, 2023Updated 3 years ago
- Introduction to Open Source Software class @ KAIST 2016☆38Jan 24, 2017Updated 9 years ago
- CIRC: Concurrent Immediate Reference Counting☆55Nov 15, 2024Updated last year
- rust verification condition generator☆96Aug 31, 2016Updated 9 years ago
- 🤔☆25Sep 28, 2017Updated 8 years ago
- Super Fast Aheui Compiler 매우 빠른 아희 컴파일러☆24Apr 17, 2015Updated 10 years ago
- yaksok toolkit☆56Dec 9, 2021Updated 4 years ago
- A server code template using Kotlin, Gradle, and Ktor.☆27Mar 21, 2022Updated 3 years ago
- This is an auto-generated repository from the whole source code, without reference solution source codes.☆151Mar 16, 2025Updated 10 months ago
- ☆28Jul 27, 2020Updated 5 years ago
- The Github version of Ordinal Markup☆32Mar 14, 2024Updated last year
- ☆293Nov 27, 2024Updated last year
- Pokr [ˈpō-kər] - Politics in Korea (Out of service since Dec 2018)☆111Dec 27, 2022Updated 3 years ago
- Haskell SDK for the LINE APIs☆31Sep 27, 2017Updated 8 years ago