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
  ☆101Updated last year
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated this week
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 6 years ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆25Updated last week
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• JustusAdam / language-haskell
  Highlighting support for the Haskell language in visual studio code.
  ☆96Updated last week
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆69Updated 6 years ago
• racket / redex
  ☆94Updated 2 weeks ago
• rossberg / hamlet
  SML reference interpreter
  ☆113Updated last year
• purescript / purescript-ordered-collections
  Purely functional map and set data structures
  ☆36Updated last year
• amnh / PCG
  𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search
  ☆30Updated 2 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆168Updated this week
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆337Updated 3 weeks ago
• purescript / purescript-lists
  Linked Lists
  ☆58Updated last year
• purescript / trypurescript
  PureScript in the browser
  ☆120Updated 7 months ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• purescript / purescript-arrays
  Array utility functions
  ☆57Updated last year
• sweet-js / sweet-helpers
  A collection of utilities for matching syntax in Sweet.js macros
  ☆13Updated 7 years ago
• rocq-prover / coq.github.io
  Source files of the previous coq.inria.fr website
  ☆16Updated 3 months ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated last year
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 5 months ago
• idris-hackers / idris-sublime
  A Plugin to use Idris with Sublime
  ☆27Updated 4 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆82Updated 6 years ago
• mongodb / mongoDB-haskell
  MongoDB driver for Haskell
  ☆24Updated 3 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆79Updated 7 years ago
• purescript / purescript-tuples
  Tuple data type and utility functions
  ☆26Updated 2 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated last month
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 10 years ago