shwestrick / mpl-1brcLinks
Solving the 1 Billion Row Challenge in MPL
☆17Updated last year
Alternatives and similar repositories for mpl-1brc
Users that are interested in mpl-1brc are comparing it to the libraries listed below
Sorting:
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- A WebAssembly implementation in Lean4☆34Updated last year
- The Steel separation logic library for F*☆36Updated last week
- ☆119Updated last year
- A toy dependent typed language.☆31Updated last week
- A verified compiler for a lazy functional language☆37Updated last week
- Demo for dependent types + runtime code generation☆69Updated 5 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆54Updated 5 months ago
- Wasm SpecTec specification tools☆58Updated this week
- Class of data structures that can be unfolded.☆22Updated last year
- Fωμ type checker and compiler☆54Updated 2 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆72Updated 3 years ago
- EGraphs in OCaml☆66Updated last year
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆60Updated last year
- Yet another Scheme implemented in Haskell☆20Updated 5 years ago
- A deterministic parser with fused lexing☆73Updated 2 years ago
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- A Lean library for Computer Science☆45Updated this week
- Reference compiler for c0☆36Updated 2 months ago
- The Next Generation of Compositional Programming☆52Updated last month
- Liquid Types implementation for Rust☆29Updated 2 years ago
- Hoare Type Theory☆77Updated last month
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated last year
- A mechanisation of Wasm in Coq(Rocq)☆107Updated last month
- ☆43Updated 3 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Updated last year
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆52Updated last month
- Session Type EDSL for Rust☆104Updated 3 years ago
- Pure functional programming with whole-program mutability inference☆72Updated last week