rebornix / vscode-prolog
Prolog language support for Visual Studio Code
☆18Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for vscode-prolog
- A VS Code extension that provides language support for prolog☆97Updated last year
- Functional teaching language for use in a discrete mathematics course☆164Updated this week
- A Super Kawaii Dependently Typed Programming Language☆173Updated 6 years ago
- ☆93Updated last week
- Run SWI-Prolog in your browser using WebAssemply☆76Updated 2 years ago
- Proposal to add tail calls to WebAssembly☆111Updated 2 months ago
- A collection of utilities for matching syntax in Sweet.js macros☆13Updated 7 years ago
- SWI-Prolog ported to WebAssembly☆39Updated 6 years ago
- Development of the CafeOBJ interpreter☆32Updated last week
- Racket support for Visual Studio Code with better inteliSense☆19Updated last year
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated last month
- A comparison of how computational effects and handlers are implemented in various programming languages.☆133Updated 5 years ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- Refinement Types for Scripting Languages☆65Updated 5 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆151Updated 7 months ago
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆79Updated 4 years ago
- Contextual types meet mechanized metatheory!☆185Updated 3 months ago
- VSCode plugin for Standard ML☆38Updated 8 months ago
- Source files of the coq.inria.fr website☆15Updated last month
- Implementation of Univalence in Cubical Sets☆145Updated 9 years ago
- A function definition package for Coq☆223Updated last week
- Grammatical Framework's Resource Grammar Library (RGL)☆52Updated 2 weeks ago
- Constraint Logic Programming over Integers☆185Updated 9 months ago
- Ocaml plugin for IntelliJ IDEA☆55Updated 2 years ago
- ☆80Updated last week
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆168Updated last week
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- Website for serving Pyret to folks.☆24Updated this week
- Idris for Visual Studio Code☆106Updated 2 years ago