Projects in Awesome Lists by sr-lab
A curated list of projects in awesome lists by sr-lab .
https://github.com/sr-lab/coqpyt
Python client for coq-lsp
coq language-server-protocol lsp-client
Last synced: 25 Oct 2025
https://github.com/sr-lab/glitch
GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.
ansible chef iac linter puppet smell-detector
Last synced: 02 May 2025
https://github.com/sr-lab/ecoandroid
EcoAndroid is an Android Studio plugin that suggests automated refactorings for reducing energy consumption of Java android applications.
Last synced: 01 Mar 2026
https://github.com/sr-lab/iris-jellyfish
Extension of atomic triples in Iris with atomic postconditions and formal verification of the Lazy JellyFish skip list
concurrent-data-structure coq formal-verification logical-atomicity
Last synced: 25 Oct 2025
https://github.com/sr-lab/gspider
Guess success probability slider, for plotting the evolution of password guessing attacks.
data-structure dependent-types password-guessers probabilistic-models risk-assessment
Last synced: 19 Mar 2026
https://github.com/sr-lab/glitch-ase22-replication-package
Replication Package for the paper "GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code"
Last synced: 02 Mar 2026
https://github.com/sr-lab/skeptic-lang
A DSL for asserting password composition policy effectiveness.
dsl formal-methods password-policy power-law zipfs-law
Last synced: 19 Mar 2026
https://github.com/sr-lab/skeptic-authority-template
A basic template for a Skeptic authority.
code-generation coq formal-methods password-policy verification
Last synced: 28 Feb 2025
https://github.com/sr-lab/entropy-calculator
Extensible batch password entropy calculator.
command-line password-strength shannon-entropy
Last synced: 20 Jun 2025
https://github.com/sr-lab/pyrrho
Automated password composition policy selection.
composition distribution password policy probability renormalization
Last synced: 03 Aug 2025
https://github.com/sr-lab/verified-pam-cracklib
A verified rewrite of the PAM cracklib module.
cracklib ffi pam-module security verification
Last synced: 24 Aug 2025
https://github.com/sr-lab/jump-mapper
Approximating PIN guess numbers using keypad patterns.
machine-learning password-strength-estimator pin windows
Last synced: 13 May 2026
https://github.com/sr-lab/roundalize
Rounds and renders huge rational numbers to human-readable decimals.
coq rational-numbers rounding truncation
Last synced: 09 May 2026
https://github.com/sr-lab/pwned-api-wrapper
Wraps the Pwned Passwords API offering batch queries etc. from the command line.
api client coq pwned-passwords wrapper
Last synced: 10 May 2026
https://github.com/sr-lab/count-expander
A program for re-hydrating password dumps that contain counts.
password password-cracking password-dump windows
Last synced: 12 May 2026
https://github.com/sr-lab/ampasamp
A minimal password sampler.
dictionary password password-policy sampler windows
Last synced: 14 May 2026
https://github.com/sr-lab/tiny-synth
An experiment in synthesis of C code from a functional language.
c code-generation functional-language python refinement synthesis
Last synced: 15 May 2026
https://github.com/sr-lab/guesser
Super simple list-based password guesser.
deduplication password-guessers simple utility windows
Last synced: 16 May 2026
https://github.com/sr-lab/analytic-password-cracking-box
Box to run the analytic password cracking utility.
analytic password-cracking password-security vagrant vm
Last synced: 18 May 2026
https://github.com/sr-lab/sr-lab.github.io.old
GitHub pages site for the Software Reliability Lab.
github-pages jekyll software-reliability website
Last synced: 18 May 2026
https://github.com/sr-lab/capitalizer
Capital letter (and symbol) heat-mapper and password capitalisation utility.
capitalize password password-cracking windows
Last synced: 19 May 2026
https://github.com/sr-lab/coq-tries
Generic tries in Coq.
coq generic library lookup search-tree trie
Last synced: 14 Jul 2025
https://github.com/sr-lab/pam-cracklib-nodict
The vanilla pam_cracklib module with dictionary checks disabled.
cracklib dictionary pam-module
Last synced: 28 Feb 2025
https://github.com/sr-lab/zxcvbn-plus
Low-Budget Password Strength Estimation
Last synced: 11 Oct 2025
https://github.com/sr-lab/coqpyt-docs
Documentation for the Python client for coq-lsp
Last synced: 31 May 2026
https://github.com/sr-lab/verified-pam-environment
Vagrantfile and provisioning scripts to create an environment for developing verified PAM modules.
pam-module provisioning vagrant vagrantfile
Last synced: 14 Apr 2026
https://github.com/sr-lab/coq-number-rendering
Coq number rendering library.
casting coq numbers-to-text stringify text-to-number
Last synced: 09 Oct 2025
https://github.com/sr-lab/pol-infer
Inferring password composition policies from breached user credential databases.
inference password-policy security
Last synced: 27 Apr 2026