8000 sr-lab repositories · GitHub

More Web Proxy on the site http://driver.im/

Software Reliability Lab

All

48 repositories

coq-modeling
Public
Language models for Coq based on data collected from the coq lsp.
Jupyter Notebook
•
MIT License
•2•0•0•0•Updated May 28, 2025May 28, 2025
anvil
Public
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
Rust
•
Other
•8•0•0•0•Updated May 19, 2025May 19, 2025
.github
Public
0•0•0•0•Updated May 11, 2025May 11, 2025
coqpyt
Public
Python client for coq-lsp
coq language-server-protocol lsp-client
Python
•
MIT License
•4•37•8•0•Updated May 4, 2025May 4, 2025
contracts-android
Public
Contract usage in Android Java and Kotlin applications
static-code-analysis reliability assertions design-by-contract
Java
•
Apache License 2.0
•0•1•3•0•Updated Apr 27, 2025Apr 27, 2025
GLITCH
Public
GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.
ansible puppet linter chef iac smell-detector
Python
•
GNU General Public License v3.0
•7•24•22•1•Updated Apr 23, 2025Apr 23, 2025
EcoAndroid
Public
EcoAndroid is an Android Studio plugin that suggests automated refactorings for reducing energy consumption of Java android applications.
Java
•
Apache License 2.0
•3•5•1•0•Updated Oct 8, 2024Oct 8, 2024
DafnyBench
Public
DafnyBench: A Benchmark for Formal Software Verification
Dafny
•
Apache License 2.0
•5•1•0•0•Updated Sep 28, 2024Sep 28, 2024
iris-jellyfish
Public
Extension of atomic triples in Iris with atomic postconditions and formal verification of the Lazy JellyFish skip list
coq concurrent-data-structure formal-verification logical-atomicity
Coq
•
GNU General Public License v3.0
•0•5•0•0•Updated Sep 15, 2024Sep 15, 2024
glitch-python-hcl2
Public
Python
•
MIT License
•58•0•0•0•Updated May 10, 2024May 10, 2024
gspider
Public
Guess success probability slider, for plotting the evolution of password guessing attacks.
dependent-types data-structure risk-assessment probabilistic-models password-guessers
Idris
•
MIT License
•0•2•0•0•Updated Dec 30, 2023Dec 30, 2023
hoogle_plus
Public
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
Haskell
•
MIT License
•8•5•0•0•Updated May 29, 2023May 29, 2023
GLITCH-ASE22-Replication-Package
Public
Replication Package for the paper "GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code"
GNU General Public License v3.0
•0•2•0•0•Updated Aug 29, 2022Aug 29, 2022
smartbugs
Public
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Solidity
•
Apache License 2.0
•155•0•0•0•Updated May 8, 2022May 8, 2022
qsharp-fuzz
Public
Q#
•1•1•0•0•Updated Feb 24, 2022Feb 24, 2022
polaris
Public
Coq
•
Other
•1•0•0•0•Updated Feb 10, 2022Feb 10, 2022
quantum-hoare-logic
Public
Coq
•
Apache License 2.0
•0•0•1•0•Updated Nov 30, 2021Nov 30, 2021
DifFuzzAR
Public
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
Java
•
BSD 3-Clause "New" or "Revised" License
•2•0•2•0•Updated Oct 2, 2021Oct 2, 2021
pws_repo
Public
Python
•1•0•0•0•Updated Aug 11, 2020Aug 11, 2020
XBoard
Public
在线白板 Online whiteboard
JavaScript
•
MIT License
•76•0•0•0•Updated Jun 8, 2020Jun 8, 2020
Efficient-Lock-Free-Durable-Sets
Public
Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (https://dl.acm.org/doi/10.1145/3360554)
C++
•
MIT License
•5•0•0•0•Updated Jan 30, 2020Jan 30, 2020
skeptic-lang
Public
A DSL for asserting password composition policy effectiveness.
dsl formal-methods password-policy zipfs-law power-law
Idris
•
MIT License
•0•1•0•0•Updated Dec 10, 2019Dec 10, 2019
pyrrho
Public
Automated password composition policy selection.
distribution probability composition password policy renormalization
Python
•
MIT License
•0•1•0•0•Updated Dec 8, 2019Dec 8, 2019
skeptic-authority-template
Public
A basic template for a Skeptic authority.
coq verification formal-methods code-generation password-policy
Coq
•
MIT License
•0•1•0•0•Updated Dec 8, 2019Dec 8, 2019
pol-infer
Public
Inferring password composition policies from breached user credential databases.
security inference password-policy
Python
•
MIT License
•0•0•0•0•Updated Aug 16, 2019Aug 16, 2019
coq-number-rendering
Public
Coq number rendering library.
coq casting stringify numbers-to-text text-to-number
Coq
•
MIT License
•0•0•0•0•Updated Jul 21, 2019Jul 21, 2019
analytic-password-cracking-box
Public
Box to run the analytic password cracking utility.
vagrant vm analytic password-cracking password-security
Shell
•
The Unlicense
•0•0•0•0•Updated Jul 10, 2019Jul 10, 2019
zxcvbn-plus
Public
Low-Budget Password Strength Estimation
CoffeeScript
•
MIT License
•0•0•0•0•Updated Nov 29, 2018Nov 29, 2018
nbvcxz
Public
Password strength estimator
Java
•
MIT License
•57•0•0•0•Updated Nov 16, 2018Nov 16, 2018
zxcvbn
Public
Low-Budget Password Strength Estimation
CoffeeScript
•
MIT License
•958•0•0•0•Updated Nov 16, 2018Nov 16, 2018

0