Phosphorus15 / intellij-prolog
Prolog plugin for Intellij IDEA
☆27Updated last year
Alternatives and similar repositories for intellij-prolog:
Users that are interested in intellij-prolog are comparing it to the libraries listed below
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆156Updated 2 weeks ago
- IntelliJ plugin for several experimental programming languages here☆35Updated 3 years ago
- ☆40Updated 3 years ago
- SPSC: A Small Positive Supercompiler☆34Updated 9 months ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆132Updated 2 months ago
- An implementation of R7RS in Racket☆99Updated 4 months ago
- ☆38Updated 3 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 9 months ago
- A toy IO library for Arend☆18Updated 4 years ago
- A VS Code extension that provides language support for prolog☆100Updated last year
- DocLog builds documentation from source code in Prolog☆26Updated last month
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago
- Embeddable Lambda Prolog Interpreter☆301Updated last week
- Programming in Tabled Prolog by David S Warren☆22Updated 4 years ago
- Java-based lightweight Prolog virtual machine☆34Updated 7 months ago
- Strongtalk VM☆100Updated 3 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆43Updated last year
- CLP(SMT) on top of miniKanren☆35Updated 2 years ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 2 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆213Updated 2 years ago
- ☆18Updated 3 months ago
- IntelliJ plugin for Scheme programming language☆31Updated 2 years ago
- This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆37Updated this week
- Course web page for Fall 2021.☆21Updated 3 years ago
- ☆92Updated 3 months ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆117Updated 2 weeks ago
- MLWorks is a Standard ML compiler and development environment.☆180Updated 6 years ago
- HoLy is simple http library for Racket language☆12Updated 7 years ago
- A DrRacket plugin to make it experience like an IDE☆48Updated 2 weeks ago
- Discuss future development☆21Updated 9 years ago