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☆102Updated last year
- Proposal to add tail calls to WebAssembly☆114Updated 6 months ago
- Links: Linking Theory to Practice for the Web☆346Updated last month
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated last month
- Functional teaching language for use in a discrete mathematics course☆170Updated 3 months ago
- A Super Kawaii Dependently Typed Programming Language☆175Updated 7 years ago
- Contextual types meet mechanized metatheory!☆199Updated 2 weeks ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆106Updated 2 years ago
- ☆35Updated 12 years ago
- A collection of utilities for matching syntax in Sweet.js macros☆14Updated 8 years ago
- Console-related functions☆23Updated last year
- Higher-kinded programming in OCaml☆186Updated 2 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- SWI-Prolog ported to WebAssembly☆39Updated 7 years ago
- The compiler for Keli☆174Updated 6 years ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- Conjure: The Automated Constraint Modelling Tool☆105Updated last week
- Racket support for Visual Studio Code with better inteliSense☆19Updated 2 years ago
- Source for the unisonweb.org website☆39Updated 2 years ago
- Orc programming language implementation☆45Updated 3 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- Learn Prolog Now LaTeX sources☆88Updated 2 years ago
- Prettify Symbols Mode for Visual Studio Code☆92Updated 2 years ago
- A blog about Coq☆11Updated 4 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- Plasma Programming Language☆166Updated 5 months ago
- ☆98Updated 3 weeks ago
- The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift proj…☆157Updated this week
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year