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
- A Super Kawaii Dependently Typed Programming Language☆176Updated 7 years ago
- Contextual types meet mechanized metatheory!☆206Updated 4 months ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated this week
- Functional teaching language for use in a discrete mathematics course☆179Updated 3 weeks ago
- Source files of the previous coq.inria.fr website☆18Updated last year
- Links: Linking Theory to Practice for the Web☆349Updated 5 months ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- Coq Support for Visual Studio Code☆92Updated 6 years ago
- SWI-Prolog ported to WebAssembly☆40Updated 7 years ago
- Proposal to add tail calls to WebAssembly☆115Updated 10 months ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- Plasma Programming Language☆167Updated 9 months ago
- Implementation of Prolog in TypeScript☆35Updated 3 years ago
- A collection of utilities for matching syntax in Sweet.js macros☆15Updated 8 years ago
- ☆101Updated 3 weeks ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆108Updated 3 years ago
- The compiler for Keli☆173Updated 6 years ago
- Racket support for Visual Studio Code with better inteliSense☆19Updated 3 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆222Updated 3 years ago
- Constraint Logic Programming over Integers☆210Updated last year
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- The Wyvern programming language.☆560Updated this week
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆81Updated last week
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆215Updated 2 years ago
- Arend plugin for IntelliJ IDEA☆94Updated 11 months ago
- Highlighting support for the Haskell language in visual studio code.☆97Updated 9 months ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆125Updated 3 years ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆30Updated 6 years ago
- A blog about Coq☆11Updated 4 years ago