Highlights
- Pro
Stars
Microsoft BASIC for 6502 Microprocessor - Version 1.1
A collection of formalized statements of conjectures in Lean.
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
Benchmark for evaluating Coq proof search tools.
[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.
Alternative interpretation of logical atomicity in Iris
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"
A bidirectional bindings generator for C++ and Rust.
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