Alternatives and similar repositories for vscode-prolog

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

• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆103Updated 2 years ago
• sweet-js / sweet-helpers
  A collection of utilities for matching syntax in Sweet.js macros
  ☆14Updated 8 years ago
• tau-prolog / tau-prolog
  An open source Prolog interpreter in JavaScript
  ☆624Updated 2 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆40Updated 7 years ago
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆348Updated 3 months ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆106Updated 2 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆231Updated last week
• pouyakary / vscode-racket
  Racket support for Visual Studio Code with better inteliSense
  ☆19Updated 2 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆219Updated 2 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆98Updated 3 years ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆208Updated last year
• dhconnelly / prettybnf
  a JavaScript library for working with BNF grammars
  ☆60Updated 3 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 5 years ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆370Updated last year
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆71Updated this week
• ditto / ditto
  A Super Kawaii Dependently Typed Programming Language
  ☆176Updated 7 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆78Updated 2 months ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 6 years ago
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆466Updated this week
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 3 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆127Updated last month
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆171Updated 5 months ago
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆178Updated 2 years ago
• ramda / repl
  The Ramda REPL
  ☆36Updated 2 years ago
• racket / redex
  ☆98Updated 2 weeks ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 6 years ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆115Updated 3 weeks ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆535Updated this week
• racket / htdp
  ☆108Updated last week
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago