Lists (2)
Stars
Reasoning in LLMs: Papers and Resources, including Chain-of-Thought, OpenAI o1, and DeepSeek-R1 🍓
DSPy: The framework for programming—not prompting—language models
A library for advanced large language model reasoning
SGLang is a fast serving framework for large language models and vision language models.
Model Context Protocol Servers
Large Language Model guided Protocol Fuzzing (NDSS'24)
Go implementation of the Ethereum protocol
Solidity, the Smart Contract Programming Language
🌌️Fuzz4All: Universal Fuzzing with Large Language Models
🦜🔗 Build context-aware reasoning applications
The all-in-one Desktop & Docker AI application with built-in RAG, AI agents, No-code agent builder, MCP compatibility, and more.
RAGFlow is an open-source RAG (Retrieval-Augmented Generation) engine based on deep document understanding.
A powerful tool for automated LLM fuzzing. It is designed to help developers and security researchers identify and mitigate potential jailbreaks in their LLM APIs.
Official repo for GPTFUZZER : Red Teaming Large Language Models with Auto-Generated Jailbreak Prompts
C library for prototyping and experimenting with quantum-resistant cryptography
A Series of Baseband & LMP Exploits against Bluetooth Classic Controllers
AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
This is a Tamarin model of TLS 1.3
Tamarin proof for the KEMTLS protocol using the multi-stage AKE model
Powerful system container and virtual machine manager
Public repository for the Colosseum Young Gladiators Workshop School of 2024
CVE cache of the official CVE List in CVE JSON 5 format
eBPF-based Networking, Security, and Observability
ebpf-go is a pure-Go library to read, modify and load eBPF programs and attach them to various hooks in the Linux kernel.