vrjuliao / sml-vscode-extensionLinks
VSCode plugin for Standard ML
☆40Updated last year
Alternatives and similar repositories for sml-vscode-extension
Users that are interested in sml-vscode-extension are comparing it to the libraries listed below
Sorting:
- SKI combinators☆56Updated 8 years ago
- A compiler for the gradually typed lambda calculus☆76Updated 4 years ago
- an implementation of Observational Type Theory (OTT) and more☆30Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated 3 years ago
- A custom parser/auto-formatter for Standard ML☆87Updated 3 weeks ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 9 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆144Updated 6 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆65Updated 8 months ago
- SML reference interpreter☆121Updated 3 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆82Updated 4 years ago
- Dependently Typed Lambda Calculus in Haskell☆116Updated 4 years ago
- A verified compiler for a lazy functional language☆37Updated last week
- The Twelf Programming Language☆149Updated last week
- Preprocessor / Pretty Printer for OCaml☆76Updated 3 months ago
- Contextual types meet mechanized metatheory!☆206Updated 4 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆77Updated 4 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆64Updated 5 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆91Updated 7 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 5 years ago
- Hope programming language interpreter☆42Updated 8 months ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆120Updated 4 years ago
- SSA vs ANF☆47Updated 10 years ago
- mirror of A simple type-theoretic language: Mini-TT☆41Updated 8 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆131Updated 2 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Updated 4 months ago
- Normalization by Evaluation for Martin-Löf Type Theory☆131Updated last year
- ATS2: Unleashing the Potentials of Types and Templates☆46Updated 6 years ago