prosyslab-classroom/cs424-program-reasoning 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

prosyslab-classroom/cs424-program-reasoning

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/prosyslab-classroom/cs424-program-reasoning)

Close

prosyslab-classroom / cs424-program-reasoningView on GitHubMore

• External links
• Readme badge

☆56Mar 8, 2026Updated 2 weeks ago

Alternatives and similar repositories for cs424-program-reasoning

Users that are interested in cs424-program-reasoning are comparing it to the libraries listed below

• ssimplexity / CS322_fall2024

  View on GitHub
  KAIST. Formal Languages and Automata. Fall semester.
  ☆20Dec 11, 2024Updated last year
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆71Updated this week
• hongseok-yang / logic21

  View on GitHub
  ☆22Jun 18, 2021Updated 4 years ago
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• prosyslab-classroom / cs348-information-security

  View on GitHub
  ☆81Mar 2, 2026Updated 2 weeks ago
• hongseok-yang / graduatePL24

  View on GitHub
  ☆11Nov 23, 2024Updated last year
• kaist-cp / cs420

  View on GitHub
  KAIST CS420: Compiler Design
  ☆557Apr 3, 2025Updated 11 months 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
• kaist-cp / cs220

  View on GitHub
  ☆297Nov 27, 2024Updated last year
• kaist-cp / cs492-uarch

  View on GitHub
  ☆46Nov 20, 2024Updated last year
• prosyslab / pl-wiki

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

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• ANLAB-KAIST / KENSv3

  View on GitHub
  This is an auto-generated repository from the whole source code, without reference solution source codes.
  ☆153Mar 16, 2025Updated last year
• hongseok-yang / graduatePL25

  View on GitHub
  ☆17Nov 10, 2025Updated 4 months ago
• prosyslab-classroom / is661-advanced-software-security

  View on GitHub
  ☆11Jun 14, 2024Updated last year
• jaehyun1ee / standalone-ddl

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

  View on GitHub
  Computational Hardness 스터디
  ☆19Apr 5, 2023Updated 2 years ago
• KAIST-CS20200 / CS20200-Main

  View on GitHub
  Q&A, homeworks, etc.
  ☆35Updated this week
• kaist-cp / helpdesk

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

  View on GitHub
  ☆1,482Aug 8, 2025Updated 7 months ago
• hongseok-yang / logic24

  View on GitHub
  ☆12May 30, 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
• utilForever / rust-wasm-game-of-life

  View on GitHub
  A simple Rust and WebAssembly example implementing the Game of Life
  ☆14Aug 4, 2021Updated 4 years ago
• prosyslab / DAFL

  View on GitHub
  american fuzzy lop - a security-oriented fuzzer
  ☆11Feb 25, 2026Updated 3 weeks ago
• casys-kaist / kev

  View on GitHub
  KAIST Educational Virtualization
  ☆16Mar 6, 2026Updated 2 weeks ago
• kaist-cp / circ

  View on GitHub
  CIRC: Concurrent Immediate Reference Counting
  ☆55Nov 15, 2024Updated last year
• hongseok-yang / graduatePL23

  View on GitHub
  ☆19Nov 5, 2023Updated 2 years ago
• utilForever / 2025-MatKor-Make-SQLite

  View on GitHub
  2025년 고려대학교 MatKor 스터디 - C++로 SQLIte 만들기
  ☆20Jun 7, 2025Updated 9 months ago
• hongseok-yang / probprog20

  View on GitHub
  ☆35Jun 21, 2020Updated 5 years ago
• testsmt / janus

  View on GitHub
  A tool for testing SMT solvers for incompleteness bugs
  ☆17Oct 12, 2022Updated 3 years ago
• casys-kaist / KeOS

  View on GitHub
  KAIST educational Operating System (KeOS) and KAIST educational Virtualization (KeV)
  ☆67Mar 1, 2026Updated 3 weeks ago
• kaist-plrg / jest

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

  View on GitHub
  Dependently typed lambda calculus - A Simple Proof Assistant
  ☆12Sep 3, 2020Updated 5 years ago
• prosyslab / tracer

  View on GitHub
  Signature-based Static Analysis for Detecting Recurring Vulnerabilities
  ☆50Sep 25, 2024Updated last year
• cognitive-engineering-lab / document-calculus

  View on GitHub
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Oct 5, 2023Updated 2 years ago
• mxinden / elimination-backoff-stack

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

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆24Feb 18, 2026Updated last month
• sola-st / wasm-r3

  View on GitHub
  Record and Replay for WebAssembly
  ☆35Feb 14, 2026Updated last month