kyouko-taiga / mvs-calculus
Compiler for Swiftlet
☆34Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for mvs-calculus
- An in-progress fast, dependently typed, functional programming language implemented in Swift.☆239Updated 5 years ago
- Fast random number generator in pure Swift☆23Updated 5 years ago
- The Anzen programming language.☆20Updated 4 years ago
- An experimental functional programming language with dependent types, inspired by Swift and Idris.☆44Updated 2 years ago
- An expressive low level programming language☆72Updated 6 years ago
- ☆14Updated last year
- Swift rewrite of the ixy network driver☆29Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆30Updated 3 months ago
- A Swift implementation of the MARPA algorithms☆18Updated last week
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆62Updated 3 years ago
- A Swift library to write parsers for domain specific languages.☆13Updated 4 years ago
- A simple borrow-checked language built using LLVM's MLIR☆27Updated 4 years ago
- ☆226Updated 3 weeks ago
- A pure Swift replacement for readline☆143Updated last year
- The Higher-Order Intermediate Representation☆151Updated this week
- Runtime support for LLVM's GC Statepoints☆42Updated 4 years ago
- Simple conservative GC using mimalloc☆38Updated last year
- A compiler for the Kaleidoscope sample project, written in Swift☆46Updated 6 years ago
- Swift implementation of a Lox interpreter☆49Updated 6 years ago
- Swift Parser Combinators☆58Updated 4 years ago
- A programming language for generating code for multiple platforms☆148Updated 2 years ago
- Pure functional programming with whole-program mutability inference☆50Updated this week
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- ☆39Updated 3 years ago
- A type safe, compiled language inspired by (and written in) Swift☆275Updated 5 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 7 years ago
- 1ML prototype interpreter☆270Updated 4 years ago
- Communicate safely between asynchronous tasks in swift☆21Updated 3 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago