HAL – The Hardware Analyzer

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental req…

A powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & other integrations)

The ultimate RAG for your monorepo. Query, understand, and edit multi-language codebases with the power of AI and knowledge graphs

100% Rust implementation of code graphRAG with blazing fast AST+FastML parsing, surrealDB backend and advanced agentic code analysis tools through MCP for efficient code agent context management

A curated list of products, benchmarks, and research papers on autonomous code agents. Beyond coding — they're redefining how software changes the world.

AI intelligence layer for solo builders and dev teams

AgentScope: Agent-Oriented Programming for Building LLM Applications

Learn Lean 4 with PLFA proofs.

FPsolve: solver for polynomial equations over omega-continuous semirings

A security scanner for your LLM agentic workflows

Lift machine code to performant LLVM IR

UnityChip Verification AI-Agent

DeepAudit：人人拥有的 AI 黑客战队，让漏洞挖掘触手可及。国内首个开源的代码漏洞挖掘多智能体系统。小白一键部署运行，自主协作审计 + 自动化沙箱 PoC 验证。支持 Ollama 私有部署 ，一键生成报告。支持中转站。​让安全不再昂贵，让审计不再复杂。

A program analysis, verification, and optimization framework

Constrained sampling for language models.

程序语言与编译技术相关资料（持续更新中）

An overview of LLMs for cybersecurity.

SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]

一个基于nano banana pro🍌的原生AI PPT生成应用，迈向真正的＂Vibe PPT＂; 支持上传任意模板图片；上传任意素材&智能解析；一句话/大纲/页面描述自动生成PPT；口头修改指定区域、一键导出可编辑ppt - An AI-native PPT generator based on nano banana pro🍌

Kode CLI — Design for post-human workflows. One unit agent for every human & computer task.

A model-driven approach to building AI agents in just a few lines of code.

A curated list of awesome SIMD frameworks, libraries and software

bjeannet - Revision 1100: /pkg/interproc/trunk (https://scm.gforge.inria.fr/anonscm/svn/bjeannet/pkg/interproc/trunk/)

Agentic Design Patterns: A Hands-On Guide to Building Intelligent Systems by Antonio Gulli

cuTile is a programming model for writing parallel kernels for NVIDIA GPUs