Alternatives and similar repositories for intellij-prolog:

Users that are interested in intellij-prolog are comparing it to the libraries listed below

• owo-lang / intellij-dtlc
  IntelliJ plugin for several experimental programming languages here
  ☆35Updated 3 years ago
• bamboo / idris2-lsp-vscode
  Visual Studio Code integration for the Idris 2 language server
  ☆30Updated 5 months ago
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆100Updated last year
• ice1000 / arend-io
  A toy IO library for Arend
  ☆18Updated 4 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated 10 months ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆117Updated last week
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 years ago
• Glavo / scala3-library-with-braces
  Scala 3 Standard Library with bracket syntax.
  ☆11Updated 3 years ago
• meraymond2 / idris-vscode
  Idris front-end for VS Code
  ☆59Updated 2 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆156Updated last month
• Trebor-Huang / ice1000
  🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟
  ☆20Updated 2 years ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆40Updated 2 weeks ago
• idris-community / idris2-lsp
  Language Server for Idris2
  ☆174Updated last month
• yjqww6 / macrology
  ☆40Updated 3 years ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆50Updated last year
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆26Updated 3 months ago
• arend-lang / tutorial-code
  Source code & exercises in Arend's documentation
  ☆21Updated 3 years ago
• re-xyr / hemerocallis
  ~ Fabricated replica.
  ☆10Updated 3 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆35Updated 3 years ago
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆26Updated 2 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆170Updated 4 months ago
• smlnj / legacy
  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
• ice1000 / guest0x0
  Neon lights in the night tonight and stars that shine in the open sky
  ☆43Updated last year
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆305Updated last week
• effect-handlers / wasm-spec
  WebAssembly specification, reference interpreter, and test suite.
  ☆13Updated last year
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• TiarkRompf / reachability
  ☆46Updated last month
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆24Updated 4 months ago