Alternatives and similar repositories for nanofuzz:

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

• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 3 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆11Updated 11 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated last month
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 11 months ago
• facebookincubator / cinderx
  High-performance Python runtime extensions
  ☆13Updated this week
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆42Updated last month
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆26Updated last year
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆41Updated 2 weeks ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆35Updated 7 months ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆43Updated 6 months ago
• pschanely / contractual-semver
  Contractual Semver
  ☆26Updated 2 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆45Updated this week
• jeprinz / pantograph
  ☆82Updated last month
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆26Updated 6 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 8 months ago
• muxup / pwr
  Paced web reader. An esoteric feed reader and workflow for keeping up to date online.
  ☆23Updated 2 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆73Updated this week
• FStarLang / steel
  The Steel separation logic library for F*
  ☆33Updated 3 weeks ago
• susam / tzero
  Social timeboxing for IRC channels
  ☆17Updated 6 months ago
• worm-blossom / macromania
  Macro-based string templating.
  ☆21Updated 7 months ago
• stevana / svg-viewer-in-svg
  SVG viewer in SVG
  ☆17Updated last year
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆31Updated last year
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆39Updated last month
• harp-lab / gdlog
  ☆80Updated 5 months ago