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
• bluefishjs / bluefish
  ☆55Updated 4 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated last month
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆75Updated 2 weeks ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆50Updated this week
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆68Updated last week
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• pschanely / contractual-semver
  Contractual Semver
  ☆26Updated 3 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆65Updated 3 weeks ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆45Updated 3 months ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 2 months ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆43Updated last month
• Symbolica / Symbolica
  Symbolica's open-source symbolic execution engine.
  ☆65Updated 8 months ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆19Updated 4 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆34Updated this week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• smarr / effortless-language-servers
  Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage
  ☆17Updated last year
• jinyus / Fsharp-Teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆18Updated last year
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆85Updated this week
• jkoppel / ecta
  ☆35Updated last year
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆188Updated last month
• dcao / babble
  library learning w egraphs
  ☆17Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 6 months ago