trailofbits / algo

#区块链#Symbolic execution tool

A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.

翻译 - 语义差异实用程序和库，适用于树状文件，例如JSON，JSON5，XML，HTML，YAML和CSV。

Publications from Trail of Bits

大模型Grok-1开源

#安全#IPsec VPN 服务器一键安装脚本

#学习与技能提升#免费公共 API 集合

💻 有关Windows操作系统的软件和工具推荐

#前端开发#quivr 是一个开源RAG框架，利用生成式AI技术构建你的 ”第二大脑“。使用 Langchain、GPT 3.5 / 4 turbo、Private、Anthropic、VertexAI、Ollama、LLMs、Groq 与您的文档 (PDF、CSV 等) 和应用程序聊天

#大语言模型#本地化搭建和运行 Llama2 和其他大模型

#大语言模型#Open Interpreter（开放解释器） 可以让大语言模型（LLMs）在本地运行代码（比如 Python、JavaScript、Shell 等）。安装后，在终端上运行 $ interpreter 即可通过类似 ChatGPT 的界面与 Open Interpreter 聊天。

#大语言模型#✨ Light and Fast AI Assistant. Support: Web | iOS | MacOS | Android | Linux | Windows

#夺旗赛 (CTF) 和网络安全资源#sherlock 是一个社工查询工具，能从上百个社交网站中检索指定 username 的账号是否存在

#安卓#关于安全、黑客、渗透测试相关资源链接

frp 是一个专注于内网穿透的高性能的反向代理应用，支持 TCP、UDP、HTTP、HTTPS 等多种协议。可以将内网服务以安全、便捷的方式通过具有公网 IP 节点的中转暴露到公网。

#大语言模型#现代化设计的开源 ChatGPT/LLMs 聊天应用与开发框架支持语音合成、多模态、可扩展的（function call）插件系统。一键免费拥有你自己的 ChatGPT/Gemini/Claude/Ollama 应用

#夺旗赛 (CTF) 和网络安全资源#该仓库收集了一堆有用的工具、链接、技术博客、CheatSheet等等

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Pingora是一个Rust框架，用于构建快速、可靠、可编程的网络系统。Pingora 久经考验，它每秒处理的互联网请求数已超过4000万次。

Devika is an Agentic AI Software Engineer that can understand high-level human instructions, break them down into steps, research relevant information, and write code to achieve the given objective. D...

Python精选

#大语言模型#:robot: The free, Open Source alternative to OpenAI, Claude and others. Self-hosted and local-first. Drop-in replacement for OpenAI, running on consumer-grade hardware. No GPU required. Runs gguf, tr...

Windows、Office 激活脚本，使用HWID/KMS38/在线KMS激活方式

#效率工具集合#Alacritty 是一个快速、跨平台，OpenGL 加速的终端模拟器