rebornix / vscode-prologLinks
Prolog language support for Visual Studio Code
☆19Updated 4 years ago
Alternatives and similar repositories for vscode-prolog
Users that are interested in vscode-prolog are comparing it to the libraries listed below
Sorting:
- A VS Code extension that provides language support for prolog☆101Updated last year
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated this week
- Functional teaching language for use in a discrete mathematics course☆169Updated last month
- Contextual types meet mechanized metatheory!☆195Updated last month
- A Super Kawaii Dependently Typed Programming Language☆174Updated 7 years ago
- The compiler for Keli☆174Updated 6 years ago
- Links: Linking Theory to Practice for the Web☆341Updated last week
- Proposal to add tail calls to WebAssembly☆114Updated 4 months ago
- Fitch style proof constructor☆27Updated 2 years ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- Implementation of the λΠ-calculus modulo rewriting☆213Updated 2 months ago
- Frank compiler☆296Updated last year
- The Makam Metalanguage☆198Updated 2 years ago
- The Twelf Programming Language☆137Updated 5 months ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆70Updated this week
- Hosts the website for mathlib and other Lean community infrastructure.☆64Updated this week
- Arend plugin for IntelliJ IDEA☆93Updated 4 months ago
- ☆95Updated last month
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆135Updated 8 months ago
- Embeddable Lambda Prolog Interpreter☆317Updated last week
- www.haskell.org site source☆113Updated 2 weeks ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- git mirror of the Munich isabelle hg repository☆125Updated 2 months ago
- A port of Coq to Javascript -- Run Coq in your Browser☆530Updated this week
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆115Updated 3 months ago
- The Happy parser generator for Haskell☆301Updated this week
- SWI-Prolog ported to WebAssembly☆39Updated 7 years ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆341Updated last week
- A function definition package for Coq☆232Updated 3 weeks ago