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
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆41Updated last month
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated last month
• mycweb / mycelium
  Typed Formats for Storing & Transferring Data & Code
  ☆33Updated last month
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆99Updated 3 years ago
• bluefishjs / bluefish
  ☆76Updated 6 months ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆141Updated 3 weeks ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 2 weeks ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆75Updated 2 years ago
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆38Updated 2 months ago
• bugout-dev / locust
  "git diff" over abstract syntax trees
  ☆56Updated last year
• pschanely / contractual-semver
  Contractual Semver
  ☆27Updated 3 years ago
• smarr / effortless-language-servers
  Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage
  ☆19Updated last year
• jeprinz / pantograph
  ☆89Updated 5 months ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆193Updated last month
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆148Updated last year
• GavinMendelGleason / many_worlds
  A description of the relationship between databases, collaboration and Kripke
  ☆28Updated 3 years ago
• harp-lab / gdlog
  ☆82Updated 8 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆114Updated this week
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• jinyus / Fsharp-Teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆18Updated last year
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• stevana / svg-viewer-in-svg
  SVG viewer in SVG
  ☆17Updated 2 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆27Updated 7 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆63Updated this week
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 3 months ago
• bablr-lang / bablr
  BABLR!
  ☆41Updated last month
• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆67Updated last year