Phosphorus15 / intellij-prolog
Prolog plugin for Intellij IDEA
☆26Updated last year
Related projects ⓘ
Alternatives and complementary repositories for intellij-prolog
- ☆80Updated last week
- A VS Code extension that provides language support for prolog☆97Updated last year
- Visual Studio Code integration for the Idris 2 language server☆29Updated 3 weeks ago
- IntelliJ plugin for several experimental programming languages here☆34Updated 3 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆22Updated this week
- Haskell Debugger Extension for Visual Studio Code.☆50Updated 5 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆154Updated 4 months ago
- Run SWI-Prolog in your browser using WebAssemply☆76Updated 2 years ago
- Bringing Prolog to the masses.☆35Updated 2 years ago
- Scala 3 Standard Library with bracket syntax.☆10Updated 3 years ago
- ☆51Updated last year
- Neon lights in the night tonight and stars that shine in the open sky☆43Updated 11 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆35Updated 2 years ago
- CLP(SMT) on top of miniKanren☆35Updated 2 years ago
- ☆40Updated 3 years ago
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- A toy IO library for Arend☆18Updated 3 years ago
- SPSC: A Small Positive Supercompiler☆32Updated 6 months ago
- A BASIC-flavored Lisp dialect☆72Updated last year
- Java-based lightweight Prolog virtual machine☆33Updated 4 months ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated 3 months ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆79Updated 4 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆151Updated 7 months ago
- Cicada Language (PLCT little team)☆92Updated 3 weeks ago
- ☆43Updated 3 weeks ago
- ☆135Updated 2 years ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆60Updated 2 years ago
- ShiTT is a toy proof assistant (almost).☆28Updated 2 weeks ago