JetBrains / mps-coderulesLinks
Type checking and logical inference for JetBrains MPS
☆32Updated last week
Alternatives and similar repositories for mps-coderules
Users that are interested in mps-coderules are comparing it to the libraries listed below
Sorting:
- ☆21Updated last year
- Spoofax runtime☆150Updated 6 months ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆66Updated 3 weeks ago
- The Melange Language Workbench☆29Updated 2 years ago
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- Web Native language Workbench with Projectional Web Editor☆72Updated this week
- A framework to build projectional editors running in the browser☆14Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆62Updated 2 weeks ago
- ☆31Updated 2 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated last year
- The Heterogeneous Tool Set☆59Updated last month
- Datalog that's as easy as ABC.☆64Updated 2 months ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- ☆71Updated 5 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆21Updated 3 years ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆71Updated last year
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- Arend plugin for IntelliJ IDEA☆93Updated 8 months ago
- Alloy with browser-based visualizations☆29Updated 4 years ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Updated last year
- ☆83Updated 8 months ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 3 months ago
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- Prolog, Datalog, languages, resources, and beyond!☆33Updated last year
- Open Source Parts of IETS3☆54Updated this week
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated 2 weeks ago
- A Java parser combinator library written with an unmatched feature set.☆131Updated 4 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆28Updated 8 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year