hongseok-yang/CLT21 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

hongseok-yang/CLT21

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/hongseok-yang/CLT21)

Close

hongseok-yang / CLT21View on GitHubMore

• External links
• Readme badge

☆39Dec 7, 2021Updated 4 years ago

Alternatives and similar repositories for CLT21

Users that are interested in CLT21 are comparing it to the libraries listed below

• hongseok-yang / probprog20

  View on GitHub
  ☆35Jun 21, 2020Updated 5 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• program-repair-project / bug-localizer

  View on GitHub
  ☆14Jan 8, 2023Updated 3 years ago
• program-repair-project / bugfixer-testbench

  View on GitHub
  ☆14Jan 13, 2023Updated 3 years ago
• prosyslab / pl-wiki

  View on GitHub
  ☆48Nov 25, 2025Updated 3 months ago
• prosyslab-classroom / cs424-program-reasoning

  View on GitHub
  ☆55Dec 19, 2025Updated 2 months ago
• 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
• rycolab / prefix-parsing

  View on GitHub
  ☆14Feb 1, 2024Updated 2 years ago
• wslee / euphony

  View on GitHub
  Euphony: a probabilistic model-guided program synthesizer
  ☆27Nov 21, 2022Updated 3 years ago
• IDSIA / credici

  View on GitHub
  Credici: Credal Inference for Causal Inference
  ☆20May 17, 2025Updated 9 months ago
• prosyslab-classroom / cs348-information-security

  View on GitHub
  ☆81Updated this week
• Henrilin28 / awesome-Interpretable-ML

  View on GitHub
  A curated list for interpretable machine learning
  ☆18Jan 4, 2019Updated 7 years ago
• casys-kaist / pintos-kaist

  View on GitHub
  ☆227Apr 18, 2025Updated 10 months ago
• bdusell / nondeterministic-stack-rnn

  View on GitHub
  Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)
  ☆19Mar 21, 2024Updated last year
• hongseok-yang / probprog18

  View on GitHub
  ☆50Jun 7, 2018Updated 7 years ago
• snu-sf-class / sf202301

  View on GitHub
  컴퓨터 신기술 특강
  ☆10Jun 23, 2023Updated 2 years ago
• mekty2012 / Deep-Learning-Theory

  View on GitHub
  Repository for Deep Learning Theory papers
  ☆15Jan 24, 2024Updated 2 years ago
• bjmin / bmin_comphys

  View on GitHub
  computational physics (Chungbuk National University, Korea)
  ☆10May 26, 2022Updated 3 years ago
• hyn2028 / kecc-ir-highlight

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

  View on GitHub
  BoSy is a reactive synthesis tool based on constraint-solving
  ☆19Aug 3, 2023Updated 2 years ago
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• junsu-kim97 / self_improved_retro

  View on GitHub
  PyTorch code accompanying the paper "Self-Improved Retrosynthetic Planning" (ICML 2021).
  ☆23Jun 10, 2021Updated 4 years ago
• kaist-cp / cs492-uarch

  View on GitHub
  ☆46Nov 20, 2024Updated last year
• SeoulTechPSE / EngMath

  View on GitHub
  공학수학 강의노트
  ☆19Feb 27, 2024Updated 2 years ago
• wbandabarragan / quantum-mechanics-1

  View on GitHub
  Lecture notes and exercises carried out as part of the Quantum Mechanics 1 course taught at Yachay Tech University.
  ☆14Jan 27, 2026Updated last month
• jaehyun1ee / standalone-ddl

  View on GitHub
  2019 딥러닝-비전처리 홀로서기 특강에 사용된 Lecture Note 및 Code Repository입니다.
  ☆12Sep 7, 2019Updated 6 years ago
• hongseok-yang / graduatePL19

  View on GitHub
  ☆19Dec 13, 2019Updated 6 years ago
• wslee / duet

  View on GitHub
  ☆21Apr 11, 2025Updated 10 months ago
• Zeta611 / react-trace

  View on GitHub
  ⚛ React-tRace is a React Hooks interpreter and a visualizer based on a formal semantics
  ☆35Feb 9, 2026Updated 3 weeks ago
• neulab / neural-lpcfg

  View on GitHub
  The Return of Lexical Dependencies: Neural Lexicalized PCFGs (TACL)
  ☆33Sep 22, 2025Updated 5 months ago
• kaist-cp / cs420

  View on GitHub
  KAIST CS420: Compiler Design
  ☆554Apr 3, 2025Updated 11 months ago
• hongseok-yang / probprog17

  View on GitHub
  ☆28Dec 18, 2017Updated 8 years ago
• tomtomjhj / coq-lsp.nvim

  View on GitHub
  Neovim client for coq-lsp
  ☆30Sep 26, 2025Updated 5 months ago
• izmailovpavel / bnn_covariate_shift

  View on GitHub
  Supporting code for the paper "Dangers of Bayesian Model Averaging under Covariate Shift"
  ☆33Oct 19, 2022Updated 3 years ago
• JonasGeiping / fullbatchtraining

  View on GitHub
  Training vision models with full-batch gradient descent and regularization
  ☆39Feb 14, 2023Updated 3 years ago
• hongseok-yang / probprog19

  View on GitHub
  ☆28Aug 17, 2019Updated 6 years ago
• prosyslab-classroom / is593-language-based-security

  View on GitHub
  ☆28Aug 14, 2023Updated 2 years ago
• vauxgomes / lad

  View on GitHub
  Open source implementation of Logical Analysis of Data (LAD) Algorithm.
  ☆16Oct 6, 2023Updated 2 years ago