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
  ☆100Updated last year
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated 8 months ago
• kkty / theorem-prover
  Automated theorem prover for first-order predicate logic written in TypeScript
  ☆27Updated 2 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 6 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆67Updated 6 years ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 3 months ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated last year
• nwolverson / vscode-language-purescript
  PureScript Language Support for Visual Studio Code
  ☆17Updated 2 years ago
• purescript / purescript-ordered-collections
  Purely functional map and set data structures
  ☆36Updated 11 months ago
• ditto / ditto
  A Super Kawaii Dependently Typed Programming Language
  ☆174Updated 6 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆168Updated 3 weeks ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• nythrox / effects.js
  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…
  ☆102Updated 2 years ago
• lezer-parser / common
  Packed syntax tree data structure
  ☆62Updated 4 months ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆76Updated 2 years ago
• mattiamanzati / typelevel-interpreter
  Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)
  ☆36Updated 6 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• lys-lang / node-ebnf
  Create AST PEG Parsers from formal grammars in JavaScript
  ☆105Updated last year
• JustusAdam / language-haskell
  Highlighting support for the Haskell language in visual studio code.
  ☆96Updated 2 months ago
• jedahu / ts-refined
  Refined types for Typescript
  ☆24Updated 7 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆55Updated this week
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 6 years ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆203Updated 3 months ago
• gcanti / fp-ts-codegen
  TypeScript code generation from a haskell-like syntax for ADT. Playground:
  ☆105Updated 5 years ago
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆106Updated 2 years ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆75Updated 6 months ago
• jaked / reconstructing-typescript
  Code and demos for Reconstructing TypeScript blog posts.
  ☆35Updated last year
• sweet-js / sweet-helpers
  A collection of utilities for matching syntax in Sweet.js macros
  ☆13Updated 7 years ago
• rocq-archive / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆128Updated 3 months ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year