JetBrains / mps-coderulesLinks
Type checking and logical inference for JetBrains MPS
☆33Updated 3 months ago
Alternatives and similar repositories for mps-coderules
Users that are interested in mps-coderules are comparing it to the libraries listed below
Sorting:
- ☆20Updated last year
- Spoofax runtime☆146Updated 2 months ago
- MPS-extensions aims to ease language development within MPS.☆87Updated this week
- Web Native language Workbench with Projectional Web Editor☆69Updated this week
- an optimizing curry compiler☆14Updated 2 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- The Flix Programming Book☆18Updated this week
- ☆29Updated 2 years ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 4 months ago
- Orc programming language implementation☆44Updated 3 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- purple: compiling a reflective language☆33Updated 8 months ago
- The Melange Language Workbench☆29Updated last year
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- The Heterogeneous Tool Set☆58Updated 5 months ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆62Updated last week
- Slog 1.0☆43Updated last year
- ☆34Updated 4 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated 2 weeks ago
- ☆35Updated last year
- SPSC: A Small Positive Supercompiler☆37Updated last year
- An extended typed Lambda Calculus☆21Updated 11 months ago
- Editor for language composition☆58Updated 2 years ago
- Datalog that's as easy as ABC.☆59Updated last month
- Fuzzy Aggregators and Similarity Into a Logic Language☆24Updated 10 months ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆45Updated 3 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated 2 weeks ago
- The Next Generation of Compositional Programming☆52Updated 3 weeks ago
- The Twelf Programming Language☆137Updated 5 months ago