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.
  ☆167Updated 2 months ago
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆54Updated 6 months ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆39Updated last month
• loro-dev / generic-btree
  It’s a pure safe BTree that can be used to build your own special-purpose btree data structure
  ☆54Updated 11 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆53Updated 5 months ago
• cfallin / weval
  ☆172Updated 5 months ago
• extism / moonbit-pdk
  Extism PDK for the MoonBit programming language.
  ☆28Updated this week
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated last week
• loro-dev / columnar
  ergonomic columnar storage encoding crate
  ☆25Updated 2 weeks ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 5 months ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• moonbit-community / cmark
  Cmark.mbt is a CommonMark toolkit for MoonBit.
  ☆26Updated 2 weeks ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• grain-lang / lunatic-gr
  Grain bindings to Lunatic, the Erlang-inspired runtime for WebAssembly!
  ☆19Updated last year
• bytecodealliance / sightglass
  A benchmark suite and tool to compare different implementations of the same primitives.
  ☆74Updated last month
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• mjgrzymek / PeanoScript
  TypeScript-like theorem prover
  ☆36Updated 3 weeks ago
• rylev / wepl
  A repl for WebAssembly Components
  ☆111Updated 9 months ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆102Updated 2 years ago
• cfallin / waffle
  ☆58Updated 7 months ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated last year
• moss-lang / moss
  A programming language.
  ☆12Updated 2 years ago
• nikomatsakis / rustnl-2024
  Type theory for busy engineers
  ☆18Updated 11 months ago
• moonbitlang / x
  experimental packages for moonbitlang/core
  ☆31Updated 2 weeks ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆50Updated this week
• grain-lang / grain-language-server
  Grain support for Visual Studio Code
  ☆23Updated 4 months ago
• silvanshade / tower-lsp-web-demo
  A minimal wasm demo with an in-browser editor and language server built with tower-lsp
  ☆40Updated 7 months ago
• paulstansifer / unseemly
  Macros have types!
  ☆129Updated 2 years ago
• gmlewis / spin-moonbit-sdk
  Experimental Spin SDK for the MoonBit programming language.
  ☆18Updated this week
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆58Updated last year