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

☆55Dec 19, 2025Updated 2 months 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

• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆62Feb 11, 2026Updated 2 weeks ago
• hongseok-yang / logic21

  View on GitHub
  ☆22Jun 18, 2021Updated 4 years ago
• ssimplexity / CS322_fall2024

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

  View on GitHub
  ☆81May 30, 2025Updated 9 months ago
• hongseok-yang / logic23

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

  View on GitHub
  KAIST CS420: Compiler Design
  ☆554Apr 3, 2025Updated 10 months ago
• prosyslab-classroom / is661-advanced-software-security

  View on GitHub
  ☆11Jun 14, 2024Updated last year
• program-repair-project / bugfixer-testbench

  View on GitHub
  ☆14Jan 13, 2023Updated 3 years ago
• program-repair-project / bug-localizer

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

  View on GitHub
  ☆48Nov 25, 2025Updated 3 months ago
• kaist-cp / cs492-uarch

  View on GitHub
  ☆45Nov 20, 2024Updated last year
• kaist-cp / kecc-public

  View on GitHub
  KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
  ☆179Jun 13, 2025Updated 8 months ago
• hongseok-yang / CLT21

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• kaist-cp / cs220

  View on GitHub
  ☆294Nov 27, 2024Updated last year
• hongseok-yang / graduatePL24

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

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

  View on GitHub
  ☆16Nov 10, 2025Updated 3 months ago
• utilForever / rust-wasm-game-of-life

  View on GitHub
  A simple Rust and WebAssembly example implementing the Game of Life
  ☆15Aug 4, 2021Updated 4 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
• casys-kaist / kev

  View on GitHub
  KAIST Educational Virtualization
  ☆16Oct 4, 2024Updated last year
• kaist-cp / helpdesk

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

  View on GitHub
  ☆1,482Aug 8, 2025Updated 6 months ago
• prosyslab / DAFL-artifact

  View on GitHub
  ☆49Oct 27, 2024Updated last year
• sslab-gatech / blockchain-lab-pwneth

  View on GitHub
  ☆12Feb 17, 2023Updated 3 years ago
• mxinden / elimination-backoff-stack

  View on GitHub
  Lock-free elimination back-off stack
  ☆12Jan 6, 2022Updated 4 years 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
• kaist-cp / circ

  View on GitHub
  CIRC: Concurrent Immediate Reference Counting
  ☆55Nov 15, 2024Updated last year
• prosyslab / DAFL

  View on GitHub
  american fuzzy lop - a security-oriented fuzzer
  ☆11Updated this week
• AD1024 / dtlc

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

  View on GitHub
  Concurrent Data Structure for Rust
  ☆29Dec 25, 2022Updated 3 years ago
• wotmd / VirtualBox-6.0.0-Exploit-1-day

  View on GitHub
  CVE-2019-2525 / CVE-2019-2548
  ☆11Sep 4, 2020Updated 5 years ago
• kaist-plrg / jest

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

  View on GitHub
  A tool for testing SMT solvers for incompleteness bugs
  ☆17Oct 12, 2022Updated 3 years ago
• chanyou / blob_sign_generator

  View on GitHub
  A simple blob sign generator
  ☆15May 12, 2022Updated 3 years ago
• snu-sf-class / sf202301

  View on GitHub
  컴퓨터 신기술 특강
  ☆10Jun 23, 2023Updated 2 years ago
• cognitive-engineering-lab / document-calculus

  View on GitHub
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Oct 5, 2023Updated 2 years ago
• kupl-courses / COSE312-2023spring

  View on GitHub
  COSE 312 Compilers
  ☆38May 3, 2023Updated 2 years ago
• RobertHarper / pl-syntax

  View on GitHub
  PL syntax macros.
  ☆21Nov 30, 2025Updated 3 months ago