Alternatives and similar repositories for wasmfxtime:

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

• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆55Updated 5 months ago
• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆168Updated 2 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆50Updated this week
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 3 years ago
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆54Updated 7 months ago
• loro-dev / columnar
  ergonomic columnar storage encoding crate
  ☆24Updated last month
• moonbit-community / cmark.mbt
  Cmark.mbt is a CommonMark toolkit for MoonBit.
  ☆27Updated this week
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• 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
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last week
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆39Updated 2 months ago
• nikomatsakis / rustnl-2024
  Type theory for busy engineers
  ☆18Updated last year
• cfallin / weval
  ☆172Updated 6 months ago
• extism / moonbit-pdk
  Extism PDK for the MoonBit programming language.
  ☆29Updated 3 weeks ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆28Updated this week
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• lyphyser / deptypes
  ☆16Updated last year
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• grain-lang / grain-language-server
  Grain support for Visual Studio Code
  ☆23Updated 5 months ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆67Updated 5 years ago
• nilehmann / liquid-rust
  ☆37Updated 3 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆45Updated 2 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆59Updated last year
• moss-lang / moss
  A programming language.
  ☆12Updated 2 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated last week
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 8 months ago
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆32Updated 7 months ago
• yoshuawuyts / cargo-task-wasm
  A sandboxed local task runner for Rust
  ☆21Updated 7 months ago
• bytecodealliance / sightglass
  A benchmark suite and tool to compare different implementations of the same primitives.
  ☆75Updated 2 weeks ago
• cfallin / waffle
  ☆58Updated 7 months ago