JetBrains / mps-coderulesLinks
Type checking and logical inference for JetBrains MPS
☆32Updated 2 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:
- A curated list of awesome MPS extensions/libraries, software and resources.☆64Updated last month
- Spoofax runtime☆149Updated 5 months ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- ☆21Updated last year
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated last year
- Copy of the CCHR Constraint Handling Rules implementation in C☆21Updated 3 years ago
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- An extended typed Lambda Calculus☆21Updated last year
- Arend plugin for IntelliJ IDEA☆93Updated 7 months ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 3 months ago
- ☆38Updated 6 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- ☆44Updated last week
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆45Updated 3 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Updated last year
- Editor for language composition☆58Updated 2 years ago
- ☆71Updated 5 years ago
- 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
- Accompanying materials for "A Core Calculus for Documents"☆34Updated 2 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- The Twelf Programming Language☆145Updated 2 weeks ago
- ☆31Updated 2 years ago
- Web Native language Workbench with Projectional Web Editor☆71Updated last week
- A framework to build projectional editors running in the browser☆14Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆63Updated 7 months ago
- ☆37Updated last year
- The Melange Language Workbench☆29Updated 2 years ago
- A model checker for relational first-order temporal specifications☆27Updated 4 years ago
- The Next Generation of Compositional Programming☆54Updated last month
- Paradox model finder and equinox theorem prover for first-order logic.☆21Updated 2 weeks ago