Alternatives and similar repositories for mpl-1brc:

Users that are interested in mpl-1brc are comparing it to the libraries listed below

• FStarLang / steel
  The Steel separation logic library for F*
  ☆32Updated 2 weeks ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 4 years ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆16Updated 2 weeks ago
• marcusrossel / verified-compiler
  A toy example of a verified compiler.
  ☆26Updated last week
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆33Updated 2 weeks ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated 3 weeks ago
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆24Updated last year
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆33Updated last year
• verse-lab / ego
  EGraphs in OCaml
  ☆63Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆65Updated last month
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆31Updated this week
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated 6 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆29Updated 5 months ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆32Updated last month
• tchajed / iris-simp-lang
  We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …
  ☆49Updated 8 months ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last year
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆49Updated 5 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 4 months ago
• pi8027 / stablesort
  Stable sort algorithms and their stability proofs in Coq
  ☆22Updated 4 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆24Updated this week
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆38Updated last month
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 6 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆28Updated 2 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 2 weeks ago