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.
  ☆183Updated 2 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆110Updated 4 months ago
• cfallin / weval
  ☆174Updated 4 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆81Updated last week
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆63Updated 2 weeks ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated 2 weeks ago
• moonbit-community / cmark.mbt
  Cmark.mbt is a CommonMark toolkit for MoonBit.
  ☆31Updated 3 weeks ago
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆58Updated last year
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆52Updated last month
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆43Updated 10 months ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆152Updated 6 months ago
• extism / moonbit-pdk
  Extism PDK for the MoonBit programming language.
  ☆34Updated last week
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆123Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated last month
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆213Updated last week
• WebAssembly / function-references
  Proposal for Typed Function References
  ☆102Updated last year
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆186Updated last year
• dylibso / reactables
  Reactables enable you to bring the power of React and JSX outside of the JavaScript ecosystem.
  ☆51Updated 10 months ago
• corwin-of-amber / wasi-kernel
  Simple process management for WASM modules running in workers, based on WASI
  ☆23Updated 2 weeks ago
• linkdd / letlang
  Functional language with a powerful type system.
  ☆172Updated last year
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆77Updated 3 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆71Updated 6 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated last month
• cfallin / waffle
  ☆58Updated 5 months ago
• silvanshade / tower-lsp-web-demo
  A minimal wasm demo with an in-browser editor and language server built with tower-lsp
  ☆48Updated last year
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆120Updated 3 years ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated last year
• rylev / wepl
  A repl for WebAssembly Components
  ☆117Updated last year
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆58Updated 5 months ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago