Alternatives and similar repositories for wasm-trace:

Users that are interested in wasm-trace are comparing it to the libraries listed below

• jcoglan / tnt
  Proof assistant for Typographical Number Theory
  ☆13Updated 9 years ago
• wasm3 / node-wasm-trace
  Instruments wasm files and traces execution
  ☆32Updated 3 years ago
• Gregoor / tofu
  Experiment in structural code editing
  ☆101Updated 11 months ago
• Schmavery / FlappyBird
  ☆62Updated 6 years ago
• gs0510 / rustrace
  Strace in Rust
  ☆48Updated 2 years ago
• hojberg / sums-up
  SumTypes in TypeScript
  ☆30Updated 2 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• revery-ui / revery-terminal
  Barebones terminal emulator built with ReasonML + Revery + libvterm
  ☆80Updated 3 years ago
• bsansouci / reasongl
  Reason bindings to WebGL and OpenGL.
  ☆107Updated 4 years ago
• josephg / textot.rs
  Text operational transform library, for rust. Compatible with libot, ottypes/text.
  ☆27Updated 3 years ago
• turakuapp / turaku-client
  Web / Electron client application for Turaku
  ☆27Updated 4 years ago
• DrSensor / scdlang
  (status: soon revived as different project) Statechart Description Language (just an experiment, need to be rewritten)
  ☆101Updated 3 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆67Updated 5 years ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• chenglou / jon-blow-video-outlines
  Outlines for Jon Blow's YouTube videos on games, programming and more.
  ☆21Updated 4 months ago
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆208Updated 6 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated 8 months ago
• mgaudet / SpiderMonkeyBibliography
  The Unofficial Incomplete Spidermonkey Bibliography
  ☆17Updated 3 months ago
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆81Updated last year
• jeffreyguenther / alternatives-reading-list
  A reading list of of papers on alternatives and subjunctive interfaces
  ☆11Updated 9 years ago
• jaredly / unison.rs
  ☆68Updated 2 years ago
• bodil / palmtree
  Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.
  ☆26Updated 4 years ago
• jsdf / lisp.re
  A LISP interpreter written in ReasonML, targeting native and browser environments
  ☆16Updated 6 years ago
• WebAssembly / multi-value
  Proposal to add multi-values to WebAssembly
  ☆71Updated 3 years ago
• trishume / gigatrace
  Proof-of-concept for a memory-efficient data structure for zooming billion-event traces
  ☆66Updated 3 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 8 years ago
• chenglou / reason-project-ideas
  ☆40Updated 6 years ago
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 4 years ago
• bsansouci / rewitness
  ☆63Updated 2 years ago
• cfallin / waffle
  ☆58Updated 5 months ago