Alternatives and similar repositories for logic23

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

• hongseok-yang / graduatePL23

  View on GitHub
  ☆19Nov 5, 2023Updated 2 years ago
• hongseok-yang / logic24

  View on GitHub
  ☆12May 30, 2024Updated last year
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆29Oct 24, 2025Updated 3 months ago
• prosyslab-classroom / cs424-program-reasoning

  View on GitHub
  ☆56Dec 19, 2025Updated last month
• hongseok-yang / logic21

  View on GitHub
  ☆23Jun 18, 2021Updated 4 years ago
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆63Updated this week
• prosyslab / pl-wiki

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

  View on GitHub
  ☆16Nov 10, 2025Updated 3 months ago
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆20Updated this week
• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆18Feb 9, 2026Updated last week
• snu-sf-class / sf201802

  View on GitHub
  컴퓨터 신기술 특강
  ☆13Dec 22, 2018Updated 7 years ago
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated last year
• snu-sf-class / sf202301

  View on GitHub
  컴퓨터 신기술 특강
  ☆10Jun 23, 2023Updated 2 years ago
• ANLAB-KAIST / KENSv3

  View on GitHub
  This is an auto-generated repository from the whole source code, without reference solution source codes.
  ☆151Mar 16, 2025Updated 11 months ago
• kaist-cp / cs420

  View on GitHub
  KAIST CS420: Compiler Design
  ☆552Apr 3, 2025Updated 10 months ago
• ssimplexity / CS492_spring2024

  View on GitHub
  KAIST. CS492 Algorithms for NP-hard Problems. Spring 2024.
  ☆23Jun 4, 2024Updated last year
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• rollrat / compiler-compiler

  View on GitHub
  🍁 Compiler Compiler based on CSharp with GUI Program
  ☆21Oct 21, 2022Updated 3 years ago
• kaist-cp / kecc-public

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

  View on GitHub
  Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation
  ☆22Dec 3, 2023Updated 2 years ago
• hongseok-yang / graduatePL19

  View on GitHub
  ☆19Dec 13, 2019Updated 6 years ago
• kaist-plrg-cs320 / assignment-docs

  View on GitHub
  ☆23Aug 21, 2024Updated last year
• prosyslab-classroom / cs348-information-security

  View on GitHub
  ☆82May 30, 2025Updated 8 months ago
• snu-sf / paco

  View on GitHub
  A Coq library for parametric coinduction
  ☆51Jan 30, 2025Updated last year
• prosyslab-classroom / is593-language-based-security

  View on GitHub
  ☆28Aug 14, 2023Updated 2 years ago
• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 3 months ago
• cognitive-engineering-lab / document-calculus

  View on GitHub
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Oct 5, 2023Updated 2 years ago
• hongseok-yang / probprog20

  View on GitHub
  ☆35Jun 21, 2020Updated 5 years ago
• kaist-plrg / jiset

  View on GitHub
  JISET: JavaScript IR-based Semantics Extraction Toolchain
  ☆41Jan 7, 2023Updated 3 years ago
• andrejbauer / clerical

  View on GitHub
  Command-like expressions for real infinite-precision calculations
  ☆55Aug 5, 2025Updated 6 months ago
• tsiemens / vim-aftercolors

  View on GitHub
  Provides support for after/colors/ scripts (Mirrors Peter Hodge's AfterColors.vim on vim.org)
  ☆11May 7, 2017Updated 8 years ago
• mateodd25 / free-nets

  View on GitHub
  Learn one, get them all for free
  ☆12Jan 28, 2024Updated 2 years ago
• chainlight-io / unwrap_let

  View on GitHub
  A Rust macro for quickly unwrapping a refutable pattern.
  ☆12Nov 10, 2023Updated 2 years ago
• bluesignum / Audio-SentenceSplit

  View on GitHub
  With one whole audio and corresponding text, the audio can be split line by line and saved with exact sentence using comparison with the …
  ☆10Feb 28, 2019Updated 6 years ago
• utilForever / 2023-SICP-Rust

  View on GitHub
  2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition
  ☆10Jan 4, 2023Updated 3 years ago
• namin / lambdajam

  View on GitHub
  Workshop on Program Transformations
  ☆26Aug 12, 2023Updated 2 years ago
• cool-mist / math_is_beautiful

  View on GitHub
  Collection of interesting patterns, inspired by nature, powered by p5js
  ☆10Jun 2, 2018Updated 7 years ago
• mumu12641 / strawberry

  View on GitHub
  🍓 A toy object-oriented programming language written by rust
  ☆17Apr 10, 2024Updated last year