Skip to content
@lambdasec

Lambda Security

Pinned Loading

  1. frame frame Public

    Frame is a Separation Logic Verification Tool with Security Scanning

    Python 12 4

  2. autogrep autogrep Public

    Autogrep automates Semgrep rule generation and filtering by using LLMs to analyze vulnerability patches, enabling automatic creation of high-quality security rules without manual curation.

    Python 81 7

  3. autofix autofix Public

    Static Analysis meets Large Language Models

    Python 54 2

  4. botwall4j botwall4j Public

    A botwall for Java web applications

    Java 44 6

Repositories

Showing 10 of 10 repositories
  • frame Public

    Frame is a Separation Logic Verification Tool with Security Scanning

    lambdasec/frame’s past year of commit activity
    Python 12 Apache-2.0 4 0 0 Updated Jan 1, 2026
  • lambdasec.github.io Public

    Thoughts on software engineering and computer security

    lambdasec/lambdasec.github.io’s past year of commit activity
    SCSS 3 MIT 0 0 0 Updated Dec 27, 2025
  • openevolve Public Forked from algorithmicsuperintelligence/openevolve

    Open-source implementation of AlphaEvolve

    lambdasec/openevolve’s past year of commit activity
    Python 0 Apache-2.0 994 0 0 Updated Nov 16, 2025
  • patchwork Public Forked from patched-codes/patchwork

    Agentic AI Workflows for DevOps

    lambdasec/patchwork’s past year of commit activity
    Python 2 AGPL-3.0 102 0 0 Updated May 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 rules without manual curation.

    lambdasec/autogrep’s past year of commit activity
    Python 81 Apache-2.0 7 0 0 Updated Feb 27, 2025
  • autofix Public

    Static Analysis meets Large Language Models

    lambdasec/autofix’s past year of commit activity
    Python 54 Apache-2.0 2 1 0 Updated May 6, 2024
  • botwall4j Public

    A botwall for Java web applications

    lambdasec/botwall4j’s past year of commit activity
    Java 44 Apache-2.0 6 0 1 Updated Sep 1, 2022
  • sapling Public Forked from srcclr/sapling

    Planning tool for remote and distributed teams

    lambdasec/sapling’s past year of commit activity
    Java 0 MIT 4 0 0 Updated Jul 21, 2020
  • lambda-advisory-db Public

    A database of vulnerabilities associated with functional languages

    lambdasec/lambda-advisory-db’s past year of commit activity
    6 3 2 (2 issues need help) 0 Updated Jun 17, 2019
  • commit-watcher Public Forked from srcclr/commit-watcher

    Find interesting and potentially hazardous commits in git projects

    lambdasec/commit-watcher’s past year of commit activity
    Ruby 0 Apache-2.0 41 0 0 Updated Sep 6, 2018

Top languages

Loading…

Most used topics

Loading…