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
- Swifty interface for the LLVM compiler infrastructure.☆28Updated 3 months ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆39Updated 5 months ago
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆61Updated 3 years ago
- Fast random number generator in pure Swift☆24Updated last week
- The Anzen programming language.☆20Updated 5 years ago
- A Swift library to write parsers for domain specific languages.☆14Updated 4 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆119Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆51Updated 3 months ago
- Charity Programming Language☆39Updated 10 years ago
- A compiler for the Kaleidoscope sample project, written in Swift☆46Updated 7 years ago
- Swift rewrite of the ixy network driver☆29Updated last year
- minimalist pure lazy functional programming language (pythonic haskell)☆78Updated 2 months ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated last month
- A Swift implementation of the MARPA algorithms☆20Updated 4 months ago
- A collection of programming languages and type systems.☆33Updated 3 weeks ago
- ☆11Updated last year
- A sampling-based heap memory profiler for WebAssembly on JavaScript engines.☆12Updated 3 months ago
- Match compilation algorithm in OCaml☆27Updated 3 months ago
- ☆89Updated 3 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- Swift type checking and semantic analysis for developer tools☆81Updated 3 years ago
- An expressive low level programming language☆72Updated 7 years ago
- ☆29Updated 4 years ago
- SSA vs ANF☆42Updated 9 years ago
- A pure Swift replacement for readline☆148Updated 2 years ago
- Column-oriented binary format for immutable datasets☆9Updated 5 years ago
- Abstract Binding Trees☆16Updated 8 years ago