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
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated last week
- Functional teaching language for use in a discrete mathematics course☆170Updated 2 months ago
- A Super Kawaii Dependently Typed Programming Language☆174Updated 7 years ago
- Links: Linking Theory to Practice for the Web☆342Updated 2 weeks ago
- Proposal to add tail calls to WebAssembly☆114Updated 6 months ago
- The compiler for Keli☆174Updated 6 years ago
- Haskelly is a VS Code extension that provides complete support for casual and expert Haskell development.☆152Updated 2 years ago
- Contextual types meet mechanized metatheory!☆199Updated last week
- ☆98Updated this week
- JavaScript parser-combinator library☆303Updated last month
- Highlighting support for the Haskell language in visual studio code.☆97Updated 4 months ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆106Updated 2 years ago
- Plasma Programming Language☆166Updated 4 months ago
- An open source Prolog interpreter in JavaScript☆617Updated 2 years ago
- Javascript Generalized Parser Combinators☆148Updated last week
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆72Updated last week
- Interpreter for simply typed lambda calculus implemented in JavaScript λ☆34Updated 8 years ago
- Haskell In New Clothes☆110Updated 5 years ago
- ☆29Updated 5 years ago
- SWI-Prolog stable releases☆226Updated 8 months ago
- Learn Prolog Now LaTeX sources☆87Updated 2 years ago
- A Functional Graph Library for Haskell☆194Updated 3 weeks ago
- VSCode plugin for Standard ML☆40Updated last year
- Racket support for Visual Studio Code with better inteliSense☆19Updated 2 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆223Updated last year
- ECMAScript verification with SMT solvers☆124Updated last year
- Prettify Symbols Mode for Visual Studio Code☆92Updated last year