Spoofax runtime
☆162Apr 28, 2025Updated 10 months ago
Alternatives and similar repositories for spoofax
Users that are interested in spoofax are comparing it to the libraries listed below
Sorting:
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Nov 21, 2025Updated 3 months ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- translations of a lambda abstraction to combinations of operators☆18Sep 6, 2019Updated 6 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 3 months ago
- A language for data modeling and incremental computing of derived values☆11May 7, 2024Updated last year
- ☆11Updated this week
- Type-checker for the λΠ-calculus modulo rewriting☆228Nov 25, 2025Updated 3 months ago
- Universal translater for encodings☆14Dec 20, 2021Updated 4 years ago
- Higher-order FRP compiler☆16Oct 20, 2021Updated 4 years ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 3 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 5 years ago
- DEPRECATED☆12Jan 17, 2016Updated 10 years ago
- A Framework for Runtime Code Generation and Compiled DSLs☆334Feb 27, 2019Updated 7 years ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆451Updated this week
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Jun 30, 2016Updated 9 years ago
- Luck -- A Language for Property-Based Generators☆36Feb 28, 2025Updated last year
- XML deserializer/serializer for TypeScript classes with decorators☆11Sep 29, 2023Updated 2 years ago
- Abstract binding tree code generator☆37Oct 31, 2016Updated 9 years ago
- My experimental programming language using Truffle☆113Feb 28, 2020Updated 6 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 7 years ago
- The Arend Proof Assistant☆740Feb 25, 2025Updated last year
- flexible 'let rec' generation for MetaOCaml☆28Jan 25, 2026Updated last month
- Incremental Program Analysis Framework☆94May 7, 2021Updated 4 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Feb 24, 2026Updated last week
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆46Oct 18, 2022Updated 3 years ago
- ☆11Jun 16, 2018Updated 7 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Nov 15, 2012Updated 13 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- ☆11Mar 20, 2025Updated 11 months ago
- Plugin module for the ALL(*) lookahead algorithm in Chevrotain☆12Aug 31, 2023Updated 2 years ago
- crowd-defunding☆10Feb 3, 2026Updated last month