Alternatives and similar repositories for cs152-lecture-code

Users that are interested in cs152-lecture-code are comparing it to the libraries listed below

• plfa / plfl
  Programming Language Foundations in Lean
  ☆48Updated 6 months ago
• TiarkRompf / types-and-proofs
  Mechanized baselines for various type system features
  ☆18Updated 2 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• moonbitlang / moonyacc
  MoonYacc is an LR(1) parser generator for MoonBit programming language.
  ☆21Updated last week
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• juniorxxue / emacs.d
  Theorem Proving in Emacs
  ☆12Updated 5 months ago
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆41Updated 3 months ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆68Updated 2 years ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆56Updated 4 years ago
• Guest0x0 / pruning-tutor
  a tutorial implementation on an elaborator of a dependently typed language with pruning
  ☆26Updated 3 years ago
• IUCompilerCourse / IU-Fall-2021
  Course web page for Fall 2021.
  ☆22Updated 4 years ago
• MarisaKirisame / ant
  ☆11Updated last week
• brown-cs22 / CS22-Lean-2023
  Lean course materials for Brown CS 22, Spring 2023
  ☆20Updated 2 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated 2 months ago
• cucapra / lambdalab
  interactive λ-calculus for learning
  ☆37Updated 6 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆158Updated last week
• anqur / TinyLean
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆67Updated 6 months ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆39Updated last year
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated last year
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆128Updated last year
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆68Updated 6 months ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆66Updated 2 years ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆38Updated last week
• verif-scop / PolCert
  A verified polyhedral scheduling validator in Coq.
  ☆23Updated last year
• yjqww6 / macrology
  ☆39Updated 4 years ago
• KonjacSource / ShiTT
  Deprecated
  ☆39Updated 3 months ago
• DSLstandard / Lean4-FFI-Programming-Tutorial-GLFW
  Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.
  ☆34Updated 5 months ago
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆60Updated 4 years ago
• Mini-Moonbit-Machine / mmm
  ☆20Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆31Updated last year