Alternatives and similar repositories for WasmContinuations

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

• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆115Updated 2 years ago
• cfallin / weval
  ☆173Updated 2 weeks ago
• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆178Updated 3 weeks ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 6 months ago
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆106Updated 3 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated last year
• mbrock / wisp
  Lisp in WebAssembly
  ☆272Updated 6 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆60Updated this week
• VictorTaelin / Formality
  ☆41Updated 4 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• ytakano / blisp
  A statically typed Lisp like scripting programming language for Rust.
  ☆228Updated 6 months ago
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆55Updated last month
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆102Updated last year
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆70Updated 5 years ago
• Limvot / kraken
  The Kraken Programming Language
  ☆48Updated last year
• mthom / scryer-shen
  ☆56Updated 3 months ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆134Updated 2 years ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆69Updated last week
• aarroyoc / djota
  A Djot implementation in Prolog
  ☆24Updated last year
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆97Updated 2 weeks ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆60Updated last month
• area9innovation / wase
  WebAssembly made easy
  ☆46Updated 2 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 8 months ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆35Updated last year
• koka-lang / nodec
  NodeC -- A lean NodeJS in C using algebraic effect handlers.
  ☆34Updated 6 years ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated this week