Repositories list

• ProfOlaf

  Public
  Snowballing Tool for Literature Reviews

  Python

  •0•6•0•0•Updated Feb 24, 2026Feb 24, 2026

• GLITCH

  Public
  GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.

  ansiblepuppetlinter+ 3chefiacsmell-detector

  Python

  •

  GNU General Public License v3.0

  •13•29•24•3•Updated Feb 5, 2026Feb 5, 2026

• iris-jellyfish

  Public
  Alternative interpretation of logical atomicity in Iris

  Rocq Prover

  •

  GNU General Public License v3.0

  •0•6•0•0•Updated Nov 26, 2025Nov 26, 2025

• coqpyt

  Public
  Python client for coq-lsp

  coqlanguage-server-protocollsp-client

  Python

  •

  MIT License

  •6•47•11•0•Updated Nov 21, 2025Nov 21, 2025

• anvil

  Public
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

  Rust

  •

  Other

  •11•0•0•0•Updated Nov 19, 2025Nov 19, 2025

• coq-modeling

  Public
  Language models for Coq based on data collected from the coq lsp.

  Jupyter Notebook

  •

  MIT License

  •3•0•0•0•Updated Nov 19, 2025Nov 19, 2025

• .github

  Public
  0•0•0•0•Updated May 11, 2025May 11, 2025

• contracts-android

  Public
  Contract usage in Android Java and Kotlin applications

  static-code-analysisreliabilityassertions+ 1design-by-contract

  Java

  •

  Apache License 2.0

  •0•1•3•0•Updated Apr 27, 2025Apr 27, 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

  •11•1•0•0•Updated Sep 28, 2024Sep 28, 2024

• glitch-python-hcl2

  Public
  Python

  •

  MIT License

  •63•0•0•0•Updated May 10, 2024May 10, 2024

• gspider

  Public
  Guess success probability slider, for plotting the evolution of password guessing attacks.

  dependent-typesdata-structurerisk-assessment+ 2probabilistic-modelspassword-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

  •156•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

  •77•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…

  C++

  •

  MIT License

  •5•0•0•0•Updated Jan 30, 2020Jan 30, 2020

• skeptic-lang

  Public
  A DSL for asserting password composition policy effectiveness.

  dslformal-methodspassword-policy+ 2zipfs-lawpower-law

  Idris

  •

  MIT License

  •0•1•0•0•Updated Dec 10, 2019Dec 10, 2019

• pyrrho

  Public
  Automated password composition policy selection.

  distributionprobabilitycomposition+ 3passwordpolicyrenormalization

  Python

  •

  MIT License

  •0•1•0•0•Updated Dec 8, 2019Dec 8, 2019

• skeptic-authority-template

  Public
  A basic template for a Skeptic authority.

  coqverificationformal-methods+ 2code-generationpassword-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.

  securityinferencepassword-policy

  Python

  •

  MIT License

  •0•0•0•0•Updated Aug 16, 2019Aug 16, 2019

• coq-number-rendering

  Public
  Coq number rendering library.

  coqcastingstringify+ 2numbers-to-texttext-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.

  vagrantvmanalytic+ 2password-crackingpassword-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

  •58•0•0•0•Updated Nov 16, 2018Nov 16, 2018