Alternatives and similar repositories for rfcs

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

• cedar-policy / cedar-spec
  Definitional implementation of Cedar language and utilities for DRT
  ☆147Updated this week
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems.
  ☆180Updated 3 weeks ago
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆62Updated 3 weeks ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆89Updated 9 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 5 months ago
• aws / aws-encryption-sdk
  AWS Encryption SDK
  ☆58Updated this week
• strata-org / Strata
  ☆134Updated this week
• awslabs / typecart
  ☆23Updated last year
• nyu-acsys / raven
  An automated deductive program verifier based on concurrent separation logic
  ☆27Updated last week
• dafny-lang / libraries
  Libraries useful for Dafny programs
  ☆48Updated 5 months ago
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆76Updated 6 months ago
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆120Updated 8 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆69Updated this week
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆116Updated this week
• dafny-lang / Dafny-VMC
  Dafny-VMC: a Library for Verified Monte Carlo Algorithms
  ☆16Updated last year
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆44Updated 4 years ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆54Updated last year
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆163Updated this week
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 5 years ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated 7 months ago
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆25Updated last year
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆26Updated last week
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆102Updated 2 weeks ago
• model-checking / cbmc-viewer
  CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
  ☆35Updated last week
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆96Updated 2 months ago
• verse-lab / loom
  Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…
  ☆128Updated this week
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆29Updated last month
• ufmg-smite / carcara
  ☆40Updated this week
• softwarelanguageslab / maf
  Static Analysis Framework for Modular Analyses
  ☆13Updated 3 weeks ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆43Updated 2 years ago