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
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 3 months ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 6 years ago
• sweet-js / sweet-helpers
  A collection of utilities for matching syntax in Sweet.js macros
  ☆13Updated 7 years ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated 2 weeks ago
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆189Updated 2 weeks ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated 11 months ago
• mattiamanzati / typelevel-interpreter
  Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)
  ☆36Updated 7 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆169Updated last month
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆209Updated last month
• ditto / ditto
  A Super Kawaii Dependently Typed Programming Language
  ☆174Updated 6 years ago
• BartoszMilewski / CategoryTheory
  ☆29Updated 5 years ago
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 4 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago
• racket / redex
  ☆95Updated this week
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• dmitriz / cpsfy
  🚀 Tiny goodies for Continuation-Passing-Style functions, fully tested
  ☆71Updated last week
• andrejbauer / coop
  A prototype programming language for programming with runners
  ☆89Updated 3 years ago
• racket / htdp
  ☆102Updated 2 weeks ago
• haskell / haskell-report
  Haskell Language Report
  ☆91Updated 5 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆79Updated 7 years ago
• mgechev / typed-calc
  Interpreter for simply typed lambda calculus implemented in JavaScript λ
  ☆34Updated 7 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆138Updated 6 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆75Updated last month
• kkty / theorem-prover
  Automated theorem prover for first-order predicate logic written in TypeScript
  ☆27Updated 2 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆205Updated 6 years ago
• dhconnelly / prettybnf
  a JavaScript library for working with BNF grammars
  ☆59Updated 3 years ago