Stars
Electronegativity is a tool to identify misconfigurations and security anti-patterns in Electron applications.
Tracking the growth of COVID-19 Cases worldwide
Bandit is a tool designed to find common security issues in Python code.
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
Utils for converting between date formats and calculating holidays
Search and replace code to autocorrect common Baha'i terms
A collection of songs inspired by the Bahá'í writings in ChordPro notation
An Android app with Bahá'í prayers in multiple languages.
Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
A library to help cache query plans using the 'contains' method for Entity Framework
PowerShell module and ACME client to create certificates from Let's Encrypt (or other ACME CA)
Automated ACME SSL/TLS certificates issuer for Azure Key Vault (App Service / Container Apps / App Gateway / Front Door / CDN / others)
Open-source, cross-platform, multi-purpose security auditing tool
This project implements a data-driven password meter. Its effects on password security and usability were evaluated in the following publication: http://www.blaseur.com/papers/CHI17meter.pdf and a …
Low-Budget Password Strength Estimation
Vulnerability Patterns Detector for C# and VB.NET
Blogifier is an open-source publishing platform Written in ASP.NET and Blazor WebAssembly. With Blogifier make a personal blog or a website.
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
Roslyn analyzers that aim to help security audit on .NET applications.
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Scripts for setting and visualizing pulseaudio volume with XMonad+xmobar