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
• hongseok-yang / logic21

  View on GitHub
  ☆23Jun 18, 2021Updated 4 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• prosyslab-classroom / is661-advanced-software-security

  View on GitHub
  ☆11Jun 14, 2024Updated last year
• 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-classroom / cs424-program-reasoning

  View on GitHub
  ☆56Dec 19, 2025Updated last month
• prosyslab / pl-wiki

  View on GitHub
  ☆48Nov 25, 2025Updated 2 months ago
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆63Updated this week
• utilForever / 2025-KPSC-AIM-Chess-AI

  View on GitHub
  2025년 국민대학교 KPSC + AIM 스터디 - 강화학습을 이용한 체스 AI 만들기
  ☆13Jun 22, 2025Updated 7 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 8 months ago
• brencej / ProGED

  View on GitHub
  equation discovery based on generative models
  ☆22Apr 10, 2025Updated 10 months ago
• Henrilin28 / awesome-Interpretable-ML

  View on GitHub
  A curated list for interpretable machine learning
  ☆18Jan 4, 2019Updated 7 years ago
• mekty2012 / Deep-Learning-Theory

  View on GitHub
  Repository for Deep Learning Theory papers
  ☆15Jan 24, 2024Updated 2 years 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
• VMatthijs / CHAD

  View on GitHub
  ☆22Mar 1, 2022Updated 3 years ago
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• kaist-cp / memento

  View on GitHub
  Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
  ☆19Apr 27, 2023Updated 2 years ago
• sree314 / simple-abstract-interpreter

  View on GitHub
  A Simple Abstract Interpreter, built for teaching purposes
  ☆20May 13, 2020Updated 5 years ago
• kaist-cp / cs492-uarch

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

  View on GitHub
  공학수학 강의노트
  ☆19Feb 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
• 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 2 weeks ago
• 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
  ☆34Feb 9, 2026Updated last week
• neulab / neural-lpcfg

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

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

  View on GitHub
  ☆28Dec 18, 2017Updated 8 years ago
• Zeta611 / easyword

  View on GitHub
  🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)
  ☆36Feb 9, 2026Updated last week
• probsys / sppl

  View on GitHub
  Probabilistic programming system for fast and exact symbolic inference
  ☆85Jul 10, 2024Updated last year
• 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
• prosyslab-classroom / is593-language-based-security

  View on GitHub
  ☆28Aug 14, 2023Updated 2 years ago