kyouko-taiga / mvs-calculusLinks
Compiler for Swiftlet
☆36Updated last year
Alternatives and similar repositories for mvs-calculus
Users that are interested in mvs-calculus are comparing it to the libraries listed below
Sorting:
- An in-progress fast, dependently typed, functional programming language implemented in Swift.☆242Updated 5 years ago
- An experimental functional programming language with dependent types, inspired by Swift and Idris.☆45Updated 2 years ago
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆61Updated 3 years ago
- The Anzen programming language.☆20Updated 5 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆40Updated 6 months ago
- A Swift library to write parsers for domain specific languages.☆14Updated 4 years ago
- Pure functional programming with whole-program mutability inference☆70Updated this week
- Robust multi-prompt delimited control and effect handlers in C/C++☆119Updated last year
- Swifty interface for the LLVM compiler infrastructure.☆28Updated 2 weeks ago
- ☆11Updated last year
- ☆226Updated last month
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated last month
- Charity Programming Language☆40Updated 10 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 4 months ago
- Swift rewrite of the ixy network driver☆29Updated last year
- Column-oriented binary format for immutable datasets☆9Updated 5 years ago
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- Pretty-print error messages of the ATS Compiler☆35Updated 5 years ago
- An experiment towards a UI programming model inspired by algebraic effects.☆30Updated 8 years ago
- A compiler for the Kaleidoscope sample project, written in Swift☆46Updated 7 years ago
- An expressive low level programming language☆72Updated 7 years ago
- A custom parser/auto-formatter for Standard ML☆78Updated last month
- MimIR is my Intermediate Representation☆68Updated last week
- The Higher-Order Intermediate Representation☆155Updated last week
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated last week
- A Swift implementation of the MARPA algorithms☆20Updated 5 months ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- The adventures of a Haskell compiler☆226Updated last month