Repositories list

• frame

  Public
  Frame is a Separation Logic Verification Tool with Security Scanning

  static-analysissolversymbolic-execution+ 17

  static-analysissolversymbolic-executionz3application-securityhipprogram-analysissat-solversmt2smt-solver+ 10

  Python

  •

  Apache License 2.0

  •4•9•0•0•Updated Jan 1, 2026Jan 1, 2026

• lambdasec.github.io

  Public
  Thoughts on software engineering and computer security

  jekyllsassgithub-page+ 1

  jekyllsassgithub-pageplug-ins

  SCSS

  •

  MIT License

  •0•3•0•0•Updated Dec 27, 2025Dec 27, 2025

• openevolve

  Public
  Open-source implementation of AlphaEvolve

  Python

  •

  Apache License 2.0

  •877•0•0•0•Updated Nov 16, 2025Nov 16, 2025

• patchwork

  Public
  Agentic AI Workflows for DevOps

  Python

  •

  GNU Affero General Public License v3.0

  •101•2•0•0•Updated May 2, 2025May 2, 2025

• autogrep

  Public
  Autogrep automates Semgrep rule generation and filtering by using LLMs to analyze vulnerability patches, enabling automatic creation of high-quality security ru…

  static-analysisstatic-analyzervulnerability-scanners+ 6

  static-analysisstatic-analyzervulnerability-scannerssemgrepsemgrep-rulesllmgenaicodellmopengrep

  Python

  •

  Apache License 2.0

  •6•73•0•0•Updated Feb 27, 2025Feb 27, 2025

• autofix

  Public
  Static Analysis meets Large Language Models

  static-analysisvulnerability-detectionbug-fixing+ 3

  static-analysisvulnerability-detectionbug-fixingremediationauto-remediationlarge-language-models

  Python

  •

  Apache License 2.0

  •3•53•1•0•Updated May 6, 2024May 6, 2024

• botwall4j

  Public
  A botwall for Java web applications

  javabotweb+ 10

  javabotwebbotsspringspring-bootfirewallfilterwafweb-application+ 3

  Java

  •

  Apache License 2.0

  •6•44•0•1•Updated Sep 1, 2022Sep 1, 2022

• sapling

  Public
  Planning tool for remote and distributed teams

  Java

  •

  MIT License

  •4•0•0•0•Updated Jul 21, 2020Jul 21, 2020

• lambda-advisory-db

  Public
  A database of vulnerabilities associated with functional languages

  databasefunctional-languagesadvisories+ 1

  databasefunctional-languagesadvisorieslambda-advisory-database

  3•6•2•0•Updated Jun 17, 2019Jun 17, 2019

• commit-watcher

  Public
  Find interesting and potentially hazardous commits in git projects

  Ruby

  •

  Apache License 2.0

  •38•0•0•0•Updated Sep 6, 2018Sep 6, 2018