sliminality / wasm-trace

Related projects ⓘ

Alternatives and complementary repositories for wasm-trace

• jcoglan / tnt
  Proof assistant for Typographical Number Theory
  ☆14Updated 8 years ago
• wasm3 / node-wasm-trace
  Instruments wasm files and traces execution
  ☆32Updated 3 years ago
• chenglou / jon-blow-video-outlines
  Outlines for Jon Blow's YouTube videos on games, programming and more.
  ☆21Updated last month
• gs0510 / rustrace
  Strace in Rust
  ☆48Updated 2 years ago
• WebAssembly / multi-value
  Proposal to add multi-values to WebAssembly
  ☆70Updated 3 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆66Updated 5 years ago
• lord / anchors
  self adjusting computations in rust
  ☆130Updated 3 years ago
• Gregoor / tofu
  Experiment in structural code editing
  ☆101Updated 8 months ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 4 years ago
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆80Updated last year
• mgaudet / SpiderMonkeyBibliography
  The Unofficial Incomplete Spidermonkey Bibliography
  ☆17Updated 3 weeks ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆42Updated 8 years ago
• wycats / language-reporting
  ☆13Updated 2 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆208Updated last month
• rustwasm / rfcs
  The Rust and WebAssembly RFCs
  ☆39Updated 2 years ago
• cfallin / waffle
  ☆58Updated 2 months ago
• josephg / textot.rs
  Text operational transform library, for rust. Compatible with libot, ottypes/text.
  ☆27Updated 3 years ago
• tree-sitter / tree-sitter-cli
  CLI tool for creating and testing tree-sitter parsers
  ☆45Updated 5 years ago
• asajeffrey / josephine
  JS affine
  ☆66Updated 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
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 2 years ago
• fitzgen / minisynth-rs
  Program synthesis is possible in Rust
  ☆24Updated 6 years ago
• rusty-ecma / RESSA
  Rusty EcmaScript Syntax Analyzer
  ☆111Updated 7 months ago
• nox / wg-codegen
  Home of the Rust codegen working group 🥖
  ☆16Updated 6 years ago
• jcoglan / infer
  Interpreter for inference rules
  ☆13Updated 6 years ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆143Updated last year
• jeffanddom / manchester
  A multiplayer WebGL game
  ☆10Updated last year
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆208Updated 5 years ago
• trishume / gigatrace
  Proof-of-concept for a memory-efficient data structure for zooming billion-event traces
  ☆64Updated 3 years ago