shwestrick / mpl-1brc
Solving the 1 Billion Row Challenge in MPL
☆16Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for mpl-1brc
- Slides and handwritten notes on the course on models of programming languages☆50Updated 4 years ago
- EGraphs in OCaml☆60Updated 10 months ago
- The Steel separation logic library for F*☆31Updated last month
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust☆23Updated 8 months ago
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- An experimental language server for SomewhatML☆24Updated last year
- A pure type system implemented in OCaml☆77Updated 3 years ago
- OCaml plus Jane Street extensions☆73Updated 4 months ago
- Experimental model checker for testing concurrent algorithms☆32Updated 4 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆55Updated 2 years ago
- A stepping debugger for Standard ML (SML)☆23Updated 9 months ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆14Updated 2 months ago
- Fωμ type checker and compiler☆51Updated last year
- Liquid Types implementation for Rust☆26Updated 2 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆32Updated 2 months ago
- A deterministic parser with fused lexing☆71Updated last year
- A WebAssembly implementation in Lean4☆32Updated 11 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- 🩺 A library for compiler diagnostics☆35Updated this week
- Code style checker for Jane Street Packages☆19Updated last week
- Lean 4 port of Megaparsec☆23Updated 10 months ago
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- A verified compiler for a lazy functional language☆32Updated last month
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- A Deductive Verification Tool for OCaml Programs☆60Updated 4 months ago
- Official library for the MPL compiler (https://github.com/mpllang/mpl)☆16Updated 10 months ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆53Updated 6 months ago
- ☆38Updated 2 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago