-
-
code2spec-kit Public
Forked from github/spec-kit💫 Toolkit to help you get started with Code-Driven Specification Generation
Python MIT License UpdatedOct 8, 2025 -
auto-i-d-template Public
Forked from martinthomson/i-d-templateA template for IETF internet draft git repositories
Makefile Other UpdatedSep 30, 2025 -
awesome-ai-cybersecurity Public
Welcome to the ultimate list of resources for AI in cybersecurity. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusia…
-
awesome-formal-verification Public
Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, rese…
-
serena Public
Forked from oraios/serenaA powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & other integrations)
Python MIT License UpdatedSep 9, 2025 -
PANTHER Public
This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermo…
-
VeriFlowCC Public
When “Verification flow” meets Claude’s intelligence for seamless V&V pipelines.
-
MailBuddy Public
**MailBuddy** is a simple web application that makes it easy to send **cool, personalized emails** to your friends. Choose from stylish templates, add custom messages, and make every email feel spe…
UpdatedAug 18, 2025 -
goose Public
Forked from block/goosean open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
-
claude-code-flow Public
Forked from ruvnet/claude-flowThis mode serves as a code-first orchestration layer, enabling Claude to write, edit, test, and optimize code autonomously across recursive agent cycles.
TypeScript MIT License UpdatedAug 5, 2025 -
claude-code-sub-agents Public
Forked from lst97/claude-code-sub-agentsCollection of specialized AI subagents for Claude Code for personal use.
UpdatedJul 29, 2025 -
ruv-FANN Public
Forked from ruvnet/ruv-FANNA blazing-fast, memory-safe neural network library for Rust that brings the power of FANN to the modern world.
Rust MIT License UpdatedJul 14, 2025 -
PANTHER-Ivy Public
Forked from kenmcmil/ivyIVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…
-
claude-pentest Public
Pentesting-Automation Engineer tasked with building an AI-driven platform that orchestrates containerised security tools via the Model Context Protocol (MCP) to deliver fully automated, end-to-end …
MIT License UpdatedJun 29, 2025 -
-
-
sandbox Public
Forked from apaolillo/sandboxA sandbox to learn git with students
Python UpdatedMar 14, 2025 -
awesome Public
Forked from sindresorhus/awesome😎 Awesome lists about all kinds of interesting topics
-
mitmproxy Public
Forked from mitmproxy/mitmproxyAn interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.
Python MIT License UpdatedDec 23, 2024 -
docker-novnc Public
Forked from theasp/docker-novncnoVNC Display Container for Docker
Dockerfile MIT License UpdatedDec 13, 2024 -
GitBooster Public
Boosts your GitHub stats with automated, scheduled commits to keep your profile active.
-
A QUIC client, client library and server implementation in Java. Supports HTTP3 with "Flupke" add-on.
-
base-drafts Public
Forked from quicwg/base-draftsInternet-Drafts that make up the base QUIC specification
Shell UpdatedOct 24, 2024 -
libnetguard Public
Forked from zhkl0228/libnetguardVPN packet capture server
-
ivy-syntax-highlight Public
Forked from Consensys/ivy-syntax-highlightApache License 2.0 UpdatedAug 17, 2024 -
picoquic Public
Forked from FlyearthR/picoquicMinimal implementation of the QUIC protocol
C MIT License UpdatedAug 11, 2024 -
cupp-rs Public
Common User Passwords Profiler (CUPP) in Rust
-
BountyDrive Public
Forked from j1t3sh/SQL-Injection-FinderBountyDrive is a comprehensive tool designed for penetration testers and cybersecurity researchers. It integrates various modules for performing attacks (google dorking, sqli, xss), reporting, and …
-
BountyDork Public
BountyDork is a comprehensive tool designed for penetration testers and cybersecurity researchers. It integrates various modules for performing attacks, reporting, and managing VPN/proxy settings, …
{{ message }}