vrjuliao / sml-vscode-extension
VSCode plugin for Standard ML
☆38Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for sml-vscode-extension
- Formalizations of Gradually Typed Languages in Agda☆54Updated last month
- A collection of PLT researching☆29Updated last year
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- A compiler for the gradually typed lambda calculus☆76Updated 3 years ago
- SSA vs ANF☆41Updated 9 years ago
- Simplified Observational Type Theory☆81Updated last year
- mirror of A simple type-theoretic language: Mini-TT☆38Updated 7 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Updated last year
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 4 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆54Updated 6 months ago
- An interactive theorem prover based on lambda-tree syntax☆90Updated this week
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated last year
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- SPSC: A Small Positive Supercompiler☆32Updated 6 months ago
- Repository and Wiki for enriching the Standard ML Basis Library☆60Updated 2 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆36Updated last week
- LL(1) parser generator verified in Coq☆44Updated 4 years ago
- A consistent and minimal F# driver for ArangoDB☆4Updated last year
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 7 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆87Updated 5 years ago
- ☆35Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated last year
- The Penn Locally Nameless Metatheory Library☆71Updated 5 months ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆29Updated 5 years ago
- "Modern compiler implementation" in Haskell!☆26Updated 9 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆111Updated 11 months ago