JetBrains / mps-coderulesLinks
Type checking and logical inference for JetBrains MPS
☆32Updated last month
Alternatives and similar repositories for mps-coderules
Users that are interested in mps-coderules are comparing it to the libraries listed below
Sorting:
- Spoofax runtime☆154Updated 7 months ago
- ☆21Updated 2 years ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆66Updated 2 weeks ago
- ☆34Updated 5 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- Arend plugin for IntelliJ IDEA☆94Updated 9 months ago
- A framework to build projectional editors running in the browser☆14Updated 2 years ago
- ☆38Updated 6 years ago
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆43Updated last week
- An extended typed Lambda Calculus☆21Updated last year
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆46Updated 3 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- ☆31Updated 2 years ago
- A Python backed for Idris 2☆29Updated last week
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆24Updated 12 years ago
- Web Native language Workbench with Projectional Web Editor☆73Updated this week
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Updated last year
- The Flix Programming Book☆20Updated last week
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated last month
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- purple: compiling a reflective language☆33Updated last year
- Course on Metaprogramming☆72Updated 5 months ago
- The Next Generation of Compositional Programming☆54Updated 2 weeks ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆143Updated 6 years ago
- Orchard Opetopic Proof Assistant☆29Updated 9 years ago
- The Melange Language Workbench☆29Updated 2 years ago
- ☆83Updated 9 months ago