rebornix / vscode-prolog
Prolog language support for Visual Studio Code
☆19Updated 3 years ago
Alternatives and similar repositories for vscode-prolog:
Users that are interested in vscode-prolog are comparing it to the libraries listed below
- A VS Code extension that provides language support for prolog☆100Updated last year
- ECMAScript verification with SMT solvers☆124Updated 8 months ago
- Automated theorem prover for first-order predicate logic written in TypeScript☆27Updated 2 years ago
- SWI-Prolog ported to WebAssembly☆39Updated 6 years ago
- Refinement Types for Scripting Languages☆67Updated 6 years ago
- Development of the CafeOBJ interpreter☆33Updated 3 months ago
- Type Inference Library written in TypeScript☆93Updated last year
- PureScript Language Support for Visual Studio Code☆17Updated 2 years ago
- Purely functional map and set data structures☆36Updated 11 months ago
- A Super Kawaii Dependently Typed Programming Language☆174Updated 6 years ago
- Functional teaching language for use in a discrete mathematics course☆168Updated 3 weeks ago
- Real number computation software☆123Updated 2 years ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆102Updated 2 years ago
- Packed syntax tree data structure☆62Updated 4 months ago
- Run SWI-Prolog in your browser using WebAssemply☆76Updated 2 years ago
- Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)☆36Updated 6 years ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- Create AST PEG Parsers from formal grammars in JavaScript☆105Updated last year
- Highlighting support for the Haskell language in visual studio code.☆96Updated 2 months ago
- Refined types for Typescript☆24Updated 7 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆55Updated this week
- Charity language interpreters and literature☆114Updated 6 years ago
- Implementation of the λΠ-calculus modulo rewriting☆203Updated 3 months ago
- TypeScript code generation from a haskell-like syntax for ADT. Playground:☆105Updated 5 years ago
- Idris for Visual Studio Code☆106Updated 2 years ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆75Updated 6 months ago
- Code and demos for Reconstructing TypeScript blog posts.☆35Updated last year
- A collection of utilities for matching syntax in Sweet.js macros☆13Updated 7 years ago
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆128Updated 3 months ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year