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☆103Updated 2 years ago
- Racket support for Visual Studio Code with better inteliSense☆19Updated 3 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated last week
- Links: Linking Theory to Practice for the Web☆349Updated 5 months ago
- Proposal to add tail calls to WebAssembly☆116Updated 11 months ago
- A Super Kawaii Dependently Typed Programming Language☆176Updated 7 years ago
- A prototype of the rainbows programming language☆14Updated 2 weeks ago
- ☆102Updated last month
- Contextual types meet mechanized metatheory!☆206Updated 4 months ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- Source files of the previous coq.inria.fr website☆18Updated last year
- A collection of utilities for matching syntax in Sweet.js macros☆15Updated 8 years ago
- The Online Interpreter for Standard ML, written in TypeScript.☆178Updated 2 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆223Updated 3 years ago
- Functional teaching language for use in a discrete mathematics course☆179Updated last week
- Coq Support for Visual Studio Code☆92Updated 6 years ago
- SWI-Prolog ported to WebAssembly☆40Updated 7 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- An open source Prolog interpreter in JavaScript☆625Updated 3 years ago
- ☆111Updated last week
- Preprocessor / Pretty Printer for OCaml☆76Updated 4 months ago
- Web site for standardml.org.☆36Updated 2 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆206Updated last year
- Development of the CafeOBJ interpreter☆40Updated last year
- Constraint Logic Programming over Integers☆210Updated 2 years ago
- OCaml extended with modular implicits☆105Updated 7 years ago
- The compiler for Keli☆173Updated 6 years ago
- Plasma Programming Language☆167Updated last week
- Refinement Types for Scripting Languages☆69Updated 7 years ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆81Updated last week