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 3 weeks ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 8 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆69Updated 3 weeks ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆28Updated 2 years ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 6 months ago
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 3 years ago
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated 3 weeks ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆42Updated last month
• Blaisorblade / dot-iris
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆31Updated last week
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆32Updated 2 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆34Updated last month
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆33Updated 3 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆14Updated this week
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated last month
• janestreet / ppx_js_style
  Code style checker for Jane Street Packages
  ☆19Updated 4 months ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆34Updated last year
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆49Updated 7 months ago
• rljacobson / lifetimes
  A lifetime inference algorithm for the Rust programming language written in Soufflé.
  ☆24Updated 5 years ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆39Updated last month
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆63Updated last week
• art-w / unicorn
  Purely functional GUI algebra
  ☆75Updated last week
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆35Updated last week
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 8 months ago
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆46Updated 5 years ago