Alternatives and similar repositories for netkat

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

• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆66Updated last month
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆36Updated 5 months ago
• xldenis / whycode
  ☆18Updated 5 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated last year
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• FStarLang / steel
  The Steel separation logic library for F*
  ☆35Updated 3 weeks ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 3 months ago
• Tritlo / PropR
  Genetic program repair using GHC
  ☆30Updated last year
• rems-project / cerberus
  Cerberus C semantics
  ☆62Updated this week
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆20Updated 2 years ago
• obazl / rules_ocaml
  A Bazel Language Support Package for OCaml
  ☆32Updated 2 months ago
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆45Updated 5 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated this week
• GaloisInc / daedalus
  The Daedalus data description language
  ☆72Updated 2 months ago
• kth-step / HolBA
  Binary analysis in HOL
  ☆40Updated 2 months ago
• semgrep / semgrep-interfaces
  Store the ATD/openapi/protobuf/... interfaces between semgrep components
  ☆18Updated this week
• TiarkRompf / reachability
  ☆49Updated 3 months ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆87Updated 2 weeks ago
• logsem / aneris
  Program logic for developing and verifying distributed systems
  ☆34Updated this week
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 4 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆29Updated 2 weeks ago
• VeriFIT / z3-noodler
  The Z3-Noodler String Solver
  ☆14Updated last week
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated 6 months ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆69Updated last month
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 10 months ago
• prismlab / verified_ocaml_gc
  For Jar artifacts
  ☆15Updated 3 months ago
• joscoh / why3-semantics
  Formal Semantics for Why3
  ☆18Updated 3 weeks ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆146Updated this week
• logsem / clutch
  Probabilistic separation logics for verifying higher-order probabilistic programs.
  ☆24Updated this week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 11 months ago