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 6 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated last month
• smarr / effortless-language-servers
  Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage
  ☆19Updated last year
• harp-lab / gdlog
  ☆82Updated 8 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆45Updated 2 years ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆69Updated last month
• stevana / svg-viewer-in-svg
  SVG viewer in SVG
  ☆17Updated last month
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• pschanely / contractual-semver
  Contractual Semver
  ☆27Updated 3 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 2 weeks ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• p-org / peasy-ide-vscode
  Peasy: An Intuitive Development Environment for P
  ☆14Updated last month
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆79Updated last week
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• davidaf3 / hyke
  A programming language that runs on TypeScript's type system
  ☆52Updated last year
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆38Updated 4 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆52Updated last month
• mycweb / mycelium
  Typed Formats for Storing & Transferring Data & Code
  ☆33Updated last month
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆37Updated 2 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆52Updated 4 months ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆40Updated last month
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆148Updated last year
• jinyus / Fsharp-Teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆18Updated last year
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆192Updated last week
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆31Updated last year