sliminality / wasm-trace

Related projects ⓘ

Alternatives and complementary repositories for wasm-trace

• jcoglan / tnt
  Proof assistant for Typographical Number Theory
  ☆14Updated 8 years ago
• WebAssembly / multi-value
  Proposal to add multi-values to WebAssembly
  ☆70Updated 3 years ago
• chenglou / jon-blow-video-outlines
  Outlines for Jon Blow's YouTube videos on games, programming and more.
  ☆21Updated 3 weeks ago
• wasm3 / node-wasm-trace
  Instruments wasm files and traces execution
  ☆32Updated 3 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆172Updated 3 months ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆66Updated 5 years ago
• matklad / miniml
  ☆22Updated 8 years ago
• trishume / gigatrace
  Proof-of-concept for a memory-efficient data structure for zooming billion-event traces
  ☆64Updated 3 years ago
• mrdziuban / rust-emscripten-loader
  Webpack loader for Rust + Emscripten
  ☆34Updated 6 years ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 4 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated 4 months ago
• chenglou / reason-project-ideas
  ☆40Updated 6 years ago
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆208Updated 5 years ago
• thegreatercurve / okapi
  A lightweight performant JavaScript parser for Rust and WebAssembly
  ☆19Updated this week
• mgaudet / SpiderMonkeyBibliography
  The Unofficial Incomplete Spidermonkey Bibliography
  ☆17Updated 2 weeks ago
• bsansouci / reasongl
  Reason bindings to WebGL and OpenGL.
  ☆107Updated 3 years ago
• DrSensor / scdlang
  (status: soon revived as different project) Statechart Description Language (just an experiment, need to be rewritten)
  ☆101Updated 3 years ago
• bsansouci / rewitness
  ☆63Updated 2 years ago
• cfallin / waffle
  ☆59Updated 2 months ago
• WebAssembly / debugging
  Design documents and discussions about debug support in WebAssembly
  ☆109Updated 2 years ago
• phated / reasonable
  (Just an experiment) The ReasonML runtime.
  ☆78Updated 6 years ago
• bytecodealliance / sightglass
  A benchmark suite and tool to compare different implementations of the same primitives.
  ☆69Updated last month
• fitzgen / minisynth-rs
  Program synthesis is possible in Rust
  ☆24Updated 5 years ago
• sebmarkbage / ocamlrun-wasm
  OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
  ☆255Updated 7 years ago
• Gregoor / tofu
  Experiment in structural code editing
  ☆100Updated 8 months 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
• jaredly / jerd
  ☆36Updated 3 years ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆42Updated 8 years ago
• prakhar1989 / JSJS
  A strongly typed language for the web!
  ☆40Updated 8 years ago
• turakuapp / turaku-client
  Web / Electron client application for Turaku
  ☆27Updated 4 years ago