Alternatives and similar repositories for WasmContinuations

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

• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆70Updated 6 years ago
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆119Updated 3 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆80Updated last week
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆181Updated last month
• cfallin / weval
  ☆174Updated 2 months ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated last year
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆107Updated 2 months ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 8 months ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆57Updated 4 months ago
• Limvot / kraken
  The Kraken Programming Language
  ☆49Updated last year
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆134Updated 2 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆48Updated 11 months ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• Verdagon / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆34Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 6 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆49Updated 2 weeks ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆64Updated last week
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆71Updated last week
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 3 years ago
• maximecb / kavascript
  Minimalistic dynamically-typed programming language for didactic purposes.
  ☆29Updated 3 years ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆79Updated last year
• 0xekez / lisp
  A lisp JIT compiler and interpreter built with cranelift.
  ☆63Updated last year
• playXE / migc
  Simple conservative GC using mimalloc
  ☆41Updated 3 years ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 4 years ago