kaist-cp/kecc-public external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

kaist-cp/kecc-public

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/kaist-cp/kecc-public)

Close

kaist-cp / kecc-publicView on GitHubMore

• External links
• Readme badge

KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!

☆178Jun 13, 2025Updated 8 months ago

Alternatives and similar repositories for kecc-public

Users that are interested in kecc-public are comparing it to the libraries listed below

• kaist-cp / cs420

  View on GitHub
  KAIST CS420: Compiler Design
  ☆554Apr 3, 2025Updated 11 months ago
• kaist-cp / cs431

  View on GitHub
  ☆1,482Aug 8, 2025Updated 7 months ago
• kaist-cp / helpdesk

  View on GitHub
  ☆23Apr 1, 2021Updated 4 years ago
• kaist-cp / cs220

  View on GitHub
  ☆294Nov 27, 2024Updated last year
• kaist-cp / shakeflow

  View on GitHub
  ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
  ☆57Jan 23, 2025Updated last year
• kaist-cp / rv6

  View on GitHub
  ☆135Apr 3, 2023Updated 2 years ago
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆67Updated this week
• prosyslab-classroom / cs424-program-reasoning

  View on GitHub
  ☆55Dec 19, 2025Updated 2 months ago
• kaist-cp / cs492-uarch

  View on GitHub
  ☆46Nov 20, 2024Updated last year
• hyn2028 / kecc-ir-highlight

  View on GitHub
  Support for language highlighting of KECC(KAIST Educational C Compiler) IR
  ☆12May 17, 2022Updated 3 years ago
• hongseok-yang / logic21

  View on GitHub
  ☆22Jun 18, 2021Updated 4 years ago
• kaist-cp / hazardflow

  View on GitHub
  HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!
  ☆21Dec 5, 2024Updated last year
• prosyslab / pl-wiki

  View on GitHub
  ☆48Nov 25, 2025Updated 3 months ago
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• ANLAB-KAIST / KENSv3

  View on GitHub
  This is an auto-generated repository from the whole source code, without reference solution source codes.
  ☆151Mar 16, 2025Updated 11 months ago
• kaist-cp / circ

  View on GitHub
  CIRC: Concurrent Immediate Reference Counting
  ☆55Nov 15, 2024Updated last year
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• hongseok-yang / CLT21

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated 2 years ago
• kaist-cp / cs500

  View on GitHub
  Moved to https://cp-git.kaist.ac.kr/jeehoon.kang/cs500
  ☆25Jan 27, 2021Updated 5 years ago
• kaist-cp / smr-benchmark

  View on GitHub
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆46Aug 12, 2025Updated 6 months ago
• koosaga / project-hardness

  View on GitHub
  Computational Hardness 스터디
  ☆19Apr 5, 2023Updated 2 years ago
• stanford-cs242 / f19-assignments

  View on GitHub
  ☆35May 27, 2020Updated 5 years ago
• hongseok-yang / graduatePL18

  View on GitHub
  ☆67Dec 11, 2018Updated 7 years ago
• prosyslab-classroom / hardcore-ocaml

  View on GitHub
  ☆16Apr 15, 2025Updated 10 months ago
• hongseok-yang / graduatePL19

  View on GitHub
  ☆19Dec 13, 2019Updated 6 years ago
• kaist-plrg-cs320 / assignment-docs

  View on GitHub
  ☆23Aug 21, 2024Updated last year
• poppindouble / lock-free

  View on GitHub
  ☆14Jan 20, 2021Updated 5 years ago
• snu-sf / promising-coq

  View on GitHub
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆43Oct 15, 2024Updated last year
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• ENvironmentSet / lambda2wasm

  View on GitHub
  A Lambda expression compiler targeting web assembly.
  ☆20Aug 7, 2024Updated last year
• hongseok-yang / graduatePL23

  View on GitHub
  ☆19Nov 5, 2023Updated 2 years ago
• utilForever / 2025-KPSC-AIM-Chess-AI

  View on GitHub
  2025년 국민대학교 KPSC + AIM 스터디 - 강화학습을 이용한 체스 AI 만들기
  ☆13Jun 22, 2025Updated 8 months ago
• casys-kaist / kev

  View on GitHub
  KAIST Educational Virtualization
  ☆16Oct 4, 2024Updated last year
• shriram / plai-public

  View on GitHub
  Repository for (for now) filing bug reports about PLAI.
  ☆14Jul 5, 2025Updated 8 months ago
• vabridgers / Austin-LLVM-Meetup-Material

  View on GitHub
  Presentations, Videos, and Sample Source from Austin LLVM Meetups
  ☆11Jul 23, 2020Updated 5 years ago
• krta2 / awesome-nonsan

  View on GitHub
  🔫 논산 육군훈련소에 대한 정보와 팁
  ☆459Apr 15, 2022Updated 3 years ago
• mxinden / elimination-backoff-stack

  View on GitHub
  Lock-free elimination back-off stack
  ☆12Jan 6, 2022Updated 4 years ago
• saaramar / echo_googlequals2020

  View on GitHub
  ☆12Sep 8, 2020Updated 5 years ago