Alternatives and similar repositories for prolog_lsp

Users that are interested in prolog_lsp are comparing it to the libraries listed below

• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆27Updated 4 months ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆32Updated 3 weeks ago
• arcadio / data-logic
  Expert system with deductive querying and verification of constraints expressed in natural language
  ☆19Updated 10 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• guregu / trealla-js
  Trealla Prolog for the web
  ☆50Updated last week
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆17Updated last year
• SWI-Prolog / packages-http
  The SWI-Prolog HTTP server and client libraries
  ☆25Updated last week
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆47Updated last week
• samer-- / prolog
  Prolog stuff
  ☆28Updated 5 years ago
• logicmoo / logicmoo_ec
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆16Updated 3 years ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated last month
• stonebuddha / tree-sitter-sml
  Standard ML Grammar for Tree-sitter
  ☆24Updated 3 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• ianthehenry / macaroni
  macro spaghetti code
  ☆28Updated 2 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 6 years ago
• fnogatz / tap
  Write TAP tests with SWI-Prolog
  ☆12Updated 2 years ago
• hhu-stups / prolog-jupyter-kernel
  A Jupyter kernel for Prolog
  ☆22Updated last year
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• FredMesnard / lptp
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's
  ☆11Updated last year
• jamesnvc / lsp_server
  Language Server Protocol server for SWI-Prolog
  ☆98Updated 3 weeks ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆42Updated 11 months ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• mracos / asdf-swiprolog
  SWI-Prolog plugin for the asdf version manager
  ☆10Updated last year
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆18Updated last week
• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 4 years ago
• epost / purescript-datalog-parsers
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆12Updated 7 years ago
• the-carlisle-group / Dado
  DevOps for Dyalog APL
  ☆16Updated 4 months ago
• Genivia / Husky
  🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
  ☆14Updated 4 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• valentjn / lsp-cli
  CLI language client for LSP language servers
  ☆26Updated 10 months ago