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*
  ☆33Updated 2 weeks ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 4 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆33Updated last year
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆34Updated 2 weeks ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 5 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆24Updated last year
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆60Updated last month
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆17Updated 3 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 7 months ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆13Updated 3 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆71Updated last month
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆56Updated 10 months ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆18Updated last week
• RedPRL / algaett
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆35Updated last year
• dunhamsteve / newt
  A toy dependent typed language.
  ☆28Updated last week
• jkoppel / ecta
  ☆34Updated 10 months ago
• marcusrossel / verified-compiler
  A toy example of a verified compiler.
  ☆27Updated last month
• Blaisorblade / dot-iris
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆31Updated last week
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆66Updated last week
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆34Updated 3 weeks ago
• phase / dtt
  dependent type theory experiment
  ☆25Updated last year
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆28Updated 3 years ago