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 4 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆133Updated last week
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• pschanely / contractual-semver
  Contractual Semver
  ☆26Updated 3 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆43Updated 2 months ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆50Updated this week
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 7 months ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆67Updated 2 weeks ago
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆26Updated 5 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• adisbladis / kakapo
  A Nix web bundler because why not
  ☆55Updated last year
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆19Updated 3 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆73Updated this week
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆20Updated this week
• bluefishjs / bluefish
  ☆16Updated 4 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated last year
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆26Updated last year
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆26Updated 7 months ago
• cachix / gptcomment
  ☆16Updated last year
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆61Updated this week
• worm-blossom / macromania
  Macro-based string templating.
  ☆21Updated 7 months ago
• harp-lab / gdlog
  ☆81Updated 5 months ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• jinyus / Fsharp-Teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆18Updated last year