Alternatives and similar repositories for wasmfxtime

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

• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆170Updated 3 months ago
• extism / moonbit-pdk
  Extism PDK for the MoonBit programming language.
  ☆30Updated this week
• cfallin / weval
  ☆172Updated 7 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆55Updated 6 months ago
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆54Updated 8 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆52Updated last week
• moonbit-community / cmark.mbt
  Cmark.mbt is a CommonMark toolkit for MoonBit.
  ☆27Updated this week
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last month
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆40Updated 3 months ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated last year
• loro-dev / generic-btree
  It’s a pure safe BTree that can be used to build your own special-purpose btree data structure
  ☆52Updated last year
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆67Updated 5 years ago
• cfallin / waffle
  ☆58Updated 8 months ago
• WebAssembly / shared-everything-threads
  A draft proposal for spawning threads in WebAssembly
  ☆62Updated 3 months ago
• grain-lang / lunatic-gr
  Grain bindings to Lunatic, the Erlang-inspired runtime for WebAssembly!
  ☆19Updated last year
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆30Updated last week
• dibsonthis / Glide--old
  Glide programming language
  ☆41Updated 2 years ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆39Updated 5 months ago
• nilehmann / liquid-rust
  ☆37Updated 3 years ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated this week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆51Updated 3 months ago
• josephg / editing-traces
  Real world text editing traces for benchmarking CRDT and Rope data structures
  ☆49Updated last year
• nikomatsakis / rustnl-2024
  Type theory for busy engineers
  ☆18Updated last year
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• yoshuawuyts / cargo-task-wasm
  A sandboxed local task runner for Rust
  ☆21Updated 8 months ago
• mjgrzymek / PeanoScript
  TypeScript-like theorem prover
  ☆38Updated last month
• wasi-gfx / webidl2wit
  ☆32Updated last month