Alternatives and similar repositories for graduatePL25

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

• hongseok-yang / logic24

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

  View on GitHub
  ☆15Oct 11, 2023Updated 2 years ago
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• prosyslab-classroom / cs424-program-reasoning

  View on GitHub
  ☆56Dec 19, 2025Updated last month
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆63Feb 11, 2026Updated last week
• filipecalegario / criacomp

  View on GitHub
  Repositório oficial da disciplina de Criatividade Computacional do CIn/UFPE
  ☆12Jul 5, 2025Updated 7 months ago
• shriram / porpoise

  View on GitHub
  use an LLM to translate purpose-statements into code to evaluate their quality
  ☆11Apr 3, 2024Updated last year
• VariantSync / Vatras

  View on GitHub
  Agda Library to Study the Expressive Power of Languages for Static Variability
  ☆13Dec 13, 2025Updated 2 months ago
• kaist-plrg / jiset

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

  View on GitHub
  [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time
  ☆16Oct 24, 2009Updated 16 years ago
• Riphiphip / mlir_rvsdg

  View on GitHub
  Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR
  ☆13May 30, 2023Updated 2 years ago
• kai-qu / syntax

  View on GitHub
  Experiments with syntax and symbols
  ☆15Mar 5, 2019Updated 6 years ago
• codebox / regex_parser

  View on GitHub
  A regular expression parser written in JavaScript
  ☆10Feb 24, 2021Updated 4 years ago
• kt3k / cell

  View on GitHub
  ☯ A frontend tool for easily writing UI components. Cell encourages the use of event handlers and signals (Demo: https://kt3k.github.io/c…
  ☆18Dec 2, 2025Updated 2 months ago
• careweather / oneil

  View on GitHub
  Design specification language for rapid, comprehensive system modeling.
  ☆19Updated this week
• Luka-O / polya-enumeration-theorem

  View on GitHub
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆21Jun 6, 2025Updated 8 months ago
• simnalamburt / realnocode

  View on GitHub
  
  ☆12Feb 4, 2024Updated 2 years ago
• Peter-H-Meadows / GtMetamath

  View on GitHub
  Metamath logic game
  ☆10Apr 16, 2025Updated 10 months ago
• juhyun167 / kakaotalk-recovered

  View on GitHub
  Recover deleted Kakaotalk messages in Windows. Used Javascript and Frida.
  ☆10Nov 20, 2021Updated 4 years ago
• kleinesfilmroellchen / sof-language

  View on GitHub
  Moved to Codeberg
  ☆10Jan 10, 2026Updated last month
• deno-kr / deno-kr

  View on GitHub
  Deno Korea Community Website
  ☆10Aug 25, 2022Updated 3 years ago
• snoglobe / language_garden

  View on GitHub
  ☆10Aug 20, 2024Updated last year
• nineties / planck-old

  View on GitHub
  This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.
  ☆10Dec 27, 2023Updated 2 years ago
• prosyslab / pl-wiki

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

  View on GitHub
  The Functional Virtual Machine.
  ☆14Dec 18, 2024Updated last year
• UberPyro / Prowl-Ideas-Pile

  View on GitHub
  Ideas, documents, and tutorial pile for the Prowl Language
  ☆12Aug 2, 2024Updated last year
• satabin / swam

  View on GitHub
  WebAssembly engine in Scala
  ☆51Nov 25, 2020Updated 5 years ago
• codehag / pattern-matching-epic

  View on GitHub
  an alternative approach to pattern matching
  ☆13Jul 18, 2022Updated 3 years ago
• mateusfbsoares / RealMode-x86-asm-QEMU-Debugger-frontend

  View on GitHub
  A debugger frontend for assembly x86 code runing in Real Mode (tested inside QEMU) (based on gdb)
  ☆11Jun 11, 2021Updated 4 years ago
• marianoguerra / mclulang

  View on GitHub
  McLulang: The message is the language
  ☆12Aug 23, 2024Updated last year
• portone-io / birecord

  View on GitHub
  Bi-directional record in type-safe way
  ☆17Sep 26, 2024Updated last year
• frozsgy / semantle-tr

  View on GitHub
  Turkish fork of Semantle
  ☆12Oct 3, 2024Updated last year
• mitmath / numerical_hub

  View on GitHub
  interdisciplinary numerical methods: half-semester "hub" course
  ☆15Updated this week
• cross-org / runtime

  View on GitHub
  Easily identify the current runtime environment (Node.js, browser, Deno, etc.) and its version with this minimal library.
  ☆12Nov 29, 2025Updated 2 months ago
• siefca / i18n-inflector

  View on GitHub
  Enhances simple I18n backend so that it inflects translations using pattern interpolation
  ☆32Jun 17, 2022Updated 3 years ago
• hongseok-yang / graduatePL24

  View on GitHub
  ☆11Nov 23, 2024Updated last year
• true-grue / soviet_compilers

  View on GitHub
  Материалы к серии докладов о советской компиляторной школе
  ☆12Aug 8, 2024Updated last year
• strictly-lang / compiler

  View on GitHub
  strictly is a declarative programming language for interactive web-components
  ☆10Dec 2, 2023Updated 2 years ago
• marc2332 / deno_tauri

  View on GitHub
  ☆12Mar 24, 2022Updated 3 years ago