Alternatives and similar repositories for vWasm:

Users that are interested in vWasm are comparing it to the libraries listed below

• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated last week
• FStarLang / steel
  The Steel separation logic library for F*
  ☆33Updated last month
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆37Updated last week
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 3 months ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆44Updated 4 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆43Updated 2 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• ocaml-multicore / uring-trace
  Visualization tool for your IO-uring workload
  ☆17Updated 8 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆27Updated 2 weeks ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 2 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆32Updated 9 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last month
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 2 months ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated last week
• thaliaarchi / notes
  A notebook on compilers, programming languages, and other topics.
  ☆15Updated last month
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated 2 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• AD1024 / dtlc
  Dependently typed lambda calculus - A Simple Proof Assistant
  ☆12Updated 4 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆64Updated last year
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated 3 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆43Updated 2 months ago
• rljacobson / lifetimes
  A lifetime inference algorithm for the Rust programming language written in Soufflé.
  ☆24Updated 5 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• draperlaboratory / ELFSage
  A toy ELF parser/validator
  ☆14Updated 4 months ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• prismlab / verified_ocaml_gc
  For Jar artifacts
  ☆14Updated 2 months ago