Alternatives and similar repositories for graduatePL19

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

• prosyslab-classroom / is593-language-based-security

  View on GitHub
  ☆28Aug 14, 2023Updated 2 years ago
• hongseok-yang / probprog19

  View on GitHub
  ☆28Aug 17, 2019Updated 6 years ago
• hongseok-yang / logic21

  View on GitHub
  ☆23Jun 18, 2021Updated 4 years ago
• 0x1f440 / Catscape

  View on GitHub
  😼Help the cat escape
  ☆10May 10, 2020Updated 5 years ago
• ssimplexity / CS492_spring2024

  View on GitHub
  KAIST. CS492 Algorithms for NP-hard Problems. Spring 2024.
  ☆23Jun 4, 2024Updated last year
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆63Feb 11, 2026Updated last week
• snu-sf / promising-coq

  View on GitHub
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆43Oct 15, 2024Updated last year
• kaist-cp / rv6

  View on GitHub
  ☆135Apr 3, 2023Updated 2 years ago
• hanbin973 / scIntegral

  View on GitHub
  Highly scalable integration and classification of single-cell RNA sequencing data
  ☆10Dec 27, 2020Updated 5 years ago
• hongseok-yang / probprog20

  View on GitHub
  ☆35Jun 21, 2020Updated 5 years ago
• hongseok-yang / CLT21

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• revsic / tf-alae

  View on GitHub
  (Unofficial) Tensorflow implementation of Adversarial Latent Autoencoder (ALAE, Pidhorskyi et al., 2020)
  ☆11Sep 8, 2020Updated 5 years ago
• cmpark0126 / pytorch-LARS

  View on GitHub
  ☆10Jul 14, 2019Updated 6 years ago
• mateodd25 / free-nets

  View on GitHub
  Learn one, get them all for free
  ☆12Jan 28, 2024Updated 2 years ago
• kaist-cp / kecc-public

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

  View on GitHub
  ☆48Nov 25, 2025Updated 2 months ago
• WICWIU / WICWIU

  View on GitHub
  WICWIU(What I can Create is What I Understand)
  ☆105Jan 7, 2023Updated 3 years ago
• hongseok-yang / logic24

  View on GitHub
  ☆12May 30, 2024Updated last year
• stlmc / stlmc

  View on GitHub
  ☆11Jan 21, 2025Updated last year
• ehatti / LHL

  View on GitHub
  Linearizability Hoare Logic
  ☆17Feb 9, 2026Updated last week
• kaist-cp / cs420

  View on GitHub
  KAIST CS420: Compiler Design
  ☆552Apr 3, 2025Updated 10 months ago
• kaist-cp / cs431

  View on GitHub
  ☆1,479Aug 8, 2025Updated 6 months ago
• yjn870 / IDN-pytorch

  View on GitHub
  PyTorch Implementation of Fast and Accurate Single Image Super-Resolution via Information Distillation Network (CVPR 2018)
  ☆10Mar 15, 2019Updated 6 years ago
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆20Updated this week
• of-course / of-course.github.io

  View on GitHub
  Learn Simply
  ☆13Dec 2, 2025Updated 2 months ago
• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆18Feb 9, 2026Updated last week
• dongjaelee1 / refinement-tutorial

  View on GitHub
  Tutorial for refinement based verification
  ☆15Jan 16, 2026Updated last month
• GunheeYi / nupjuk

  View on GitHub
  KLMS. Redesigned.
  ☆10Aug 28, 2022Updated 3 years ago
• harness / harness-go-sdk

  View on GitHub
  An SDK written in Go for interacting with the Harness API's
  ☆15Updated this week
• kaist-plrg / concrat

  View on GitHub
  Concurrent-C to Rust Automatic Translator
  ☆15Jan 26, 2023Updated 3 years ago
• Lunuy / agda-introduction-korean

  View on GitHub
  수학 증명언어 Agda 입문
  ☆12May 2, 2023Updated 2 years ago
• CakeML / candle

  View on GitHub
  The Candle theorem prover (fork of the HOL Light sources)
  ☆18Updated this week
• 16silver / 2048-is-you

  View on GitHub
  2048 game implemented by Baba is You
  ☆12May 9, 2019Updated 6 years ago
• JWoong148 / MetaPerturb

  View on GitHub
  Pytorch implementation of “MetaPerturb: Transferable Regularizer for Heterogeneous Tasks and Architectures” (NeurIPS 2020 spotlight)
  ☆13Jul 22, 2021Updated 4 years ago
• kwanghoon / yapb

  View on GitHub
  YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)
  ☆16Jun 3, 2025Updated 8 months ago
• prosyslab-classroom / is661-advanced-software-security

  View on GitHub
  ☆11Jun 14, 2024Updated last year
• snu-sf / Ordinal

  View on GitHub
  ☆15Aug 3, 2025Updated 6 months ago
• kunisuzaki / misc

  View on GitHub
  misc
  ☆16May 26, 2015Updated 10 years ago
• ainta / chuldle

  View on GitHub
  ☆18Aug 17, 2024Updated last year