JetBrains / mps-coderulesLinks
Type checking and logical inference for JetBrains MPS
☆33Updated 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:
- Spoofax runtime☆146Updated 3 months ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- A curated list of awesome MPS extensions/libraries, software and resources.☆63Updated last month
- ☆20Updated last year
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- The Melange Language Workbench☆29Updated last year
- ☆29Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆61Updated 5 months ago
- Datalog that's as easy as ABC.☆59Updated 2 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Web Native language Workbench with Projectional Web Editor☆70Updated this week
- The Brown Benchmark for Table Types (B2T2)☆64Updated last week
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last month
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- An extended typed Lambda Calculus☆21Updated 11 months ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 5 months ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Updated 3 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆35Updated 2 months ago
- The Twelf Programming Language☆140Updated 5 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
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆156Updated last year
- Open Source Parts of IETS3☆54Updated this week
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆70Updated last year
- SPSC: A Small Positive Supercompiler☆38Updated last year
- Alloy with browser-based visualizations☆29Updated 4 years ago