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:
- Spoofax runtime☆159Updated 8 months ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated 2 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆66Updated last month
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- ☆21Updated 2 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆47Updated 3 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Updated last year
- Orc programming language implementation☆45Updated 4 years ago
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last week
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆43Updated 3 weeks ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 2 months ago
- The Melange Language Workbench☆29Updated 2 years ago
- SPSC: A Small Positive Supercompiler☆39Updated last year
- ☆71Updated 5 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Updated 4 years ago
- ☆31Updated 2 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- ☆37Updated last year
- A lazy-grounding Answer-Set Programming system☆62Updated last month
- Alloy with browser-based visualizations☆29Updated 4 years ago
- Web Native language Workbench with Projectional Web Editor☆74Updated this week
- ☆34Updated 5 years ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Updated 13 years ago
- Interpreter for the reversible functional language rFun☆38Updated 7 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- Slog 1.0☆46Updated last year