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
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆168Updated 2 months ago
• mattam82 / Coq-Equations
  A function definition package for Coq
  ☆227Updated last week
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• racket / redex
  ☆92Updated 2 weeks ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆77Updated 7 years ago
• racket / htdp
  ☆97Updated 2 weeks ago
• ditto / ditto
  A Super Kawaii Dependently Typed Programming Language
  ☆174Updated 6 years ago
• sweet-js / sweet-helpers
  A collection of utilities for matching syntax in Sweet.js macros
  ☆13Updated 7 years ago
• rocq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆89Updated this week
• SMLFamily / Successor-ML
  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
  ☆198Updated 7 months ago
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆187Updated 8 months ago
• kkty / prolog
  Implementation of Prolog in TypeScript
  ☆34Updated 2 years ago
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 4 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆167Updated 2 months ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆165Updated 4 months ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 4 months ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated 4 months ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆52Updated 4 months ago
• discus-lang / iron
  Coq formalizations of functional languages.
  ☆143Updated 4 years ago
• pouyakary / vscode-racket
  Racket support for Visual Studio Code with better inteliSense
  ☆19Updated 2 years ago
• llvm-hs / llvm-hs-examples
  Examples for Haskell bindings to LLVM
  ☆71Updated 3 years ago
• ziman / lightyear
  Parser combinators for Idris
  ☆240Updated 5 years ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆280Updated 4 years ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆163Updated 3 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆116Updated 2 years ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆226Updated this week
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆206Updated 4 months ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆127Updated 7 months ago
• rocq-community / coq-ext-lib
  A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
  ☆130Updated 3 months ago