Alternatives and similar repositories for wasmfxtime:

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

• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆29Updated this week
• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆158Updated this week
• cfallin / weval
  ☆172Updated 3 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆46Updated 2 months ago
• cfallin / waffle
  ☆58Updated 5 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆32Updated this week
• WebAssembly / shared-everything-threads
  A draft proposal for spawning threads in WebAssembly
  ☆52Updated this week
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆54Updated 4 months ago
• bytecodealliance / sightglass
  A benchmark suite and tool to compare different implementations of the same primitives.
  ☆72Updated last month
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆39Updated 5 months ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆67Updated 5 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆36Updated 2 months ago
• WebAssembly / wasi-poll
  ☆15Updated last year
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆54Updated last year
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆64Updated 3 weeks ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆91Updated 6 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 3 months ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated last week
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆35Updated 5 months ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• grain-lang / grain-language-server
  Grain support for Visual Studio Code
  ☆24Updated 2 months ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆43Updated 8 years ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆39Updated 2 months ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 2 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• grain-lang / binaryen.ml
  OCaml bindings for Binaryen.
  ☆49Updated last year
• moonbit-community / cmark
  Cmark.mbt is a CommonMark toolkit for MoonBit.
  ☆23Updated this week