Stars
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
Language models for Coq based on data collected from the coq lsp.
Awesome LLM Books: Curated list of books on Large Language Models
[SIGGRAPH Asia 2022] VideoReTalking: Audio-based Lip Synchronization for Talking Head Video Editing In the Wild
VSCode extension that is designed to help automate writing of Coq proofs.
Python Framework to analyse Git repositories
A DSL for asserting password composition policy effectiveness.
A verified rewrite of the PAM cracklib module.
sr-lab / hoogle_plus
Forked from TyGuS/hoogle_plusType-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
Automatic Reliability Testing for Kubernetes Controllers and Operators
GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.
SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate the accuracy of automated analysis tools.
Extension of atomic triples in Iris with atomic postconditions and formal verification of the Lazy JellyFish skip list
Bookish is a fully responsive e-book website, Responsive for all devices, build using HTML, CSS, and JavaScript.
Replication Package for the paper "GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code"
EcoAndroid is an Android Studio plugin that suggests automated refactorings for reducing energy consumption of Java android applications.
Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
An uroboros program with 100+ programming languages
Software development bots for Github. Join the bot revolution! 🌟🤖🌟💞
A gently curated list of companies using verification formal methods in industry
Dafny 2 for Visual Studio Code (Legacy)
Infer warning classification