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
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆20Dec 10, 2025Updated 2 months ago
• PnVDiscord / PnVRocqLib

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

  View on GitHub
  ☆16Nov 10, 2025Updated 3 months ago
• damhiya / MetaLambda

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

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

  View on GitHub
  bidirectional type checking algorithms for higher-ranked polymorphism
  ☆19Mar 23, 2022Updated 3 years ago
• 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-plrg-cs320 / assignment-docs

  View on GitHub
  ☆23Aug 21, 2024Updated last year
• hongseok-yang / graduatePL19

  View on GitHub
  ☆19Dec 13, 2019Updated 6 years ago
• yhyoon / simba

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

  View on GitHub
  CIRC: Concurrent Immediate Reference Counting
  ☆54Nov 15, 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
• 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 / CLT21

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• andrejbauer / clerical

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

  View on GitHub
  Bibata Cursor, with support for hyprcursor and Xcursor
  ☆19Jan 28, 2025Updated last year
• tomtomjhj / vsrocq.nvim

  View on GitHub
  A Neovim client for VsCoq 2 vscoqtop.
  ☆11Nov 8, 2025Updated 3 months 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
• protocol-security / fuzztools

  View on GitHub
  Struct-aware fuzzing framework + some fuzzers
  ☆29Jan 28, 2026Updated 2 weeks ago
• ConstantPark / DL_Compiler_and_Hardware

  View on GitHub
  ☆10Nov 7, 2023Updated 2 years ago
• namin / lambdajam

  View on GitHub
  Workshop on Program Transformations
  ☆26Aug 12, 2023Updated 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
• bynect / algorithm-w

  View on GitHub
  Type inference implementation in OCaml using Algorithm W
  ☆10Aug 26, 2021Updated 4 years 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