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☆147Updated 4 months ago
- Web Native language Workbench with Projectional Web Editor☆70Updated last week
- A curated list of awesome MPS extensions/libraries, software and resources.☆64Updated last week
- ☆20Updated last year
- ☆31Updated 2 years ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Updated 13 years ago
- Datalog that's as easy as ABC.☆61Updated 3 weeks ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- ☆34Updated 4 years ago
- The Melange Language Workbench☆29Updated 2 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆45Updated 3 years ago
- The Next Generation of Compositional Programming☆53Updated last week
- Orc programming language implementation☆44Updated 3 years ago
- A lazy-grounding Answer-Set Programming system☆63Updated 6 months ago
- MPS-extensions aims to ease language development within MPS.☆85Updated this week
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated last week
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- source code for the bondi programming language☆41Updated 6 years ago
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆131Updated 2 years ago
- A model checker for relational first-order temporal specifications☆27Updated 4 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 Makam Metalanguage☆199Updated 2 years ago
- Arend plugin for IntelliJ IDEA☆93Updated 6 months ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated 2 months ago
- The Twelf Programming Language☆143Updated this week
- Slog 1.0☆43Updated last year
- Fuzzy Aggregators and Similarity Into a Logic Language☆24Updated last year
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago