☆17Nov 10, 2025Updated 4 months ago
Alternatives and similar repositories for graduatePL25
Users that are interested in graduatePL25 are comparing it to the libraries listed below
Sorting:
- ☆12May 30, 2024Updated last year
- ☆15Oct 11, 2023Updated 2 years ago
- ☆67Updated this week
- ☆17May 29, 2023Updated 2 years ago
- ☆56Updated this week
- Repositório oficial da disciplina de Criatividade Computacional do CIn/UFPE☆12Jul 5, 2025Updated 8 months ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- Agda Library to Study the Expressive Power of Languages for Static Variability☆13Dec 13, 2025Updated 2 months ago
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Jan 7, 2023Updated 3 years ago
- Design specification language for rapid, comprehensive system modeling.☆19Mar 2, 2026Updated last week
- Metamath logic game☆10Apr 16, 2025Updated 10 months ago
- ☆10Aug 20, 2024Updated last year
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 9 months ago
- This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.☆10Dec 27, 2023Updated 2 years ago
- Moved to Codeberg☆10Jan 10, 2026Updated last month
- Deno Korea Community Website☆10Aug 25, 2022Updated 3 years ago
- ☯ 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 3 months ago
- A regular expression parser written in JavaScript☆10Feb 24, 2021Updated 5 years ago
- ☆12Feb 4, 2024Updated 2 years ago
- [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
- Recover deleted Kakaotalk messages in Windows. Used Javascript and Frida.☆10Nov 20, 2021Updated 4 years ago
- Experiments with syntax and symbols☆15Mar 5, 2019Updated 7 years ago
- ☆48Nov 25, 2025Updated 3 months ago
- Enhances simple I18n backend so that it inflects translations using pattern interpolation☆32Jun 17, 2022Updated 3 years ago
- Bi-directional record in type-safe way☆17Sep 26, 2024Updated last year
- Turkish fork of Semantle☆12Oct 3, 2024Updated last year
- PFLoRA-lib: Personalized Federated Learning with LoRA Algorithm Library focusing on privacy-protection, federated-learning, Citation, Ext…☆14Sep 19, 2024Updated last year
- WebAssembly engine in Scala☆51Nov 25, 2020Updated 5 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Node.js ile aktivite akış örneği☆12Mar 23, 2016Updated 9 years ago
- strictly is a declarative programming language for interactive web-components☆10Dec 2, 2023Updated 2 years ago
- interdisciplinary numerical methods: half-semester "hub" course☆16Mar 2, 2026Updated last week
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- Easily identify the current runtime environment (Node.js, browser, Deno, etc.) and its version with this minimal library.☆12Nov 29, 2025Updated 3 months ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- ☆11Nov 23, 2024Updated last year
- A debugger frontend for assembly x86 code runing in Real Mode (tested inside QEMU) (based on gdb)☆11Jun 11, 2021Updated 4 years ago
- Google Keep API with Ruby on Rails☆12Nov 3, 2021Updated 4 years ago