kupl-courses/COSE312-2023spring 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

kupl-courses/COSE312-2023spring

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/kupl-courses/COSE312-2023spring)

Close

kupl-courses / COSE312-2023springView on GitHubMore

• External links
• Readme badge

COSE 312 Compilers

☆38May 3, 2023Updated 2 years ago

Alternatives and similar repositories for COSE312-2023spring

Users that are interested in COSE312-2023spring are comparing it to the libraries listed below

• chanyou / blob_sign_generator

  View on GitHub
  A simple blob sign generator
  ☆15May 12, 2022Updated 3 years ago
• ku-plrg-classroom / docs

  View on GitHub
  Documents for Programming Assignments
  ☆17Dec 8, 2025Updated 3 months ago
• AIKU-Official / 2023S-AIKU-D2D

  View on GitHub
  2023 여름방학 고려대학교 AIKU 주니어 딥러닝 부트캠프: DeepintoDeep (D2D)
  ☆14Dec 14, 2023Updated 2 years ago
• hyp3rflow / jsconf-kr-2022-deno

  View on GitHub
  ☆15Sep 18, 2022Updated 3 years ago
• ONground-Korea / 2023-AIKU_DeepLearning-Bootcamp

  View on GitHub
  2023-1 고려대학교 AIKU 딥러닝 방학 부트캠프: Deep into Deep
  ☆10Jul 10, 2023Updated 2 years ago
• cross-org / runtime

  View on GitHub
  Easily identify the current runtime environment (Node.js, browser, Deno, etc.) and its version with this minimal library.
  ☆12Nov 29, 2025Updated 3 months ago
• hyp3rflow / github-readme-solvedac

  View on GitHub
  백준, solved.ac 통계로 github stats card를 만들어주는 서비스
  ☆71Oct 26, 2021Updated 4 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆19Updated this week
• kaist-plrg / jest

  View on GitHub
  JEST: N+1-version Differential Testing of Both JavaScript Engines
  ☆14Jun 1, 2021Updated 4 years ago
• utilForever / minesweeper-rs

  View on GitHub
  A simple minesweeper game using Rust and windows-rs
  ☆15Aug 22, 2021Updated 4 years ago
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated 2 years ago
• psl-lang / psl

  View on GitHub
  🎈 A Modern Programming Language Empowering Algorithmic Thinking
  ☆14Jun 24, 2024Updated last year
• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 4 months ago
• lifthrasiir / wah

  View on GitHub
  WebAssembly interpreter in a Header (WAH)
  ☆31Oct 6, 2025Updated 5 months ago
• kwanghoon / bidi

  View on GitHub
  bidirectional type checking algorithms for higher-ranked polymorphism
  ☆19Mar 23, 2022Updated 3 years ago
• kupl / PyTER

  View on GitHub
  ☆15Sep 17, 2025Updated 5 months ago
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆28Oct 24, 2025Updated 4 months ago
• estools / esfuzz

  View on GitHub
  fuzzer for generative testing of ECMAScript parsers
  ☆59Jul 3, 2014Updated 11 years ago
• ENvironmentSet / lambda2wasm

  View on GitHub
  A Lambda expression compiler targeting web assembly.
  ☆20Aug 7, 2024Updated last year
• es-meta / esmeta

  View on GitHub
  ECMAScript Specification (ECMA-262) Metalanguage
  ☆241Updated this week
• Samsung / mimic

  View on GitHub
  Synthesizer for JavaScript API models
  ☆17Apr 7, 2023Updated 2 years ago
• Honoka55 / noroshi

  View on GitHub
  A CJK-friendly mono spaced font derived from the IBM Plex typeface.
  ☆19Jan 27, 2024Updated 2 years ago
• kaist-plrg-cs320 / assignment-docs

  View on GitHub
  ☆23Aug 21, 2024Updated last year
• julianthome / smtlibv2-grammar

  View on GitHub
  ANTLR SMT-LIB v2 Grammar
  ☆24Dec 23, 2021Updated 4 years ago
• hongseok-yang / logic21

  View on GitHub
  ☆22Jun 18, 2021Updated 4 years ago
• ENvironmentSet / hyogwa

  View on GitHub
  Natural 🌿 effect system that fits TypeScript
  ☆62Aug 22, 2024Updated last year
• utilForever / 2022-Korea-Rust-Backend

  View on GitHub
  2022년 고려대학교 Google Developer Student Clubs 스터디 - Rust 기초 프로그래밍 + Backend 개발
  ☆156Sep 27, 2023Updated 2 years ago
• daangn / stackgraph

  View on GitHub
  변수 의존성 관계도와 메타데이터를 정적 분석 및 시각화
  ☆26Mar 2, 2024Updated 2 years ago
• utilForever / 2023-MatKor-Rust-Compiler

  View on GitHub
  2023년 고려대학교 MatKor 스터디 - Rust로 컴파일러 만들기
  ☆25Oct 15, 2023Updated 2 years ago
• prosyslab-classroom / cs424-program-reasoning

  View on GitHub
  ☆56Updated this week
• mlvlab / DFC609-2022S

  View on GitHub
  Basic Artificial Intelligence Theory
  ☆10Mar 11, 2025Updated 11 months ago
• utilForever / 2023-SNU-Rust-CrossPlatform

  View on GitHub
  2023년 서울대학교 컴퓨터공학부 특강 - Rust 크로스 플랫폼 프로그래밍 발표 자료 및 예제 코드
  ☆34Apr 8, 2023Updated 2 years ago
• secure-software-engineering / TypeEvalPy

  View on GitHub
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆38Nov 13, 2025Updated 3 months ago
• simnalamburt / snippets

  View on GitHub
  My code snippets
  ☆38Sep 30, 2025Updated 5 months ago
• needleworm / bhban_ai

  View on GitHub
  <수학·통계를 몰라도 이해할 수 있는 쉬운 딥러닝(생능출판사, 2021)> 예제코드. FNN 기초부터 CNN, LSTM까지 딥러닝 전반을 모두 배워볼 수 있습니다. 학습용 데이터와 프리프로세서도 모두 포함되어 있으므로, 본문을 읽으며 딥러닝 모델…
  ☆25Jan 15, 2026Updated last month
• rust-kr / browser-engineering

  View on GitHub
  Web Browser Engineering
  ☆42Jun 29, 2022Updated 3 years ago
• utilForever / 2025-KPSC-AIM-Chess-AI

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

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago