Stars
An open-source AI agent that brings the power of Gemini directly into your terminal.
🖥️ Session manager for tmux, built on libtmux.
🎒 Token-Oriented Object Notation (TOON) – Compact, human-readable, schema-aware JSON for LLM prompts. Spec, benchmarks, TypeScript SDK.
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
Laminar - open-source observability platform purpose-built for AI agents. YC S24.
Run agents that work based on what you do. 24/7 local screen & mic recording for the superintelligence era
WhisperX: Automatic Speech Recognition with Word-level Timestamps (& Diarization)
Qwen3 is the large language model series developed by Qwen team, Alibaba Cloud.
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum dApps.
AgentCoder: multi-agent code generation framework.
LDB: A Large Language Model Debugger via Verifying Runtime Execution Step by Step (ACL'24)
Automated coverage analysis of WASM executables on embedded and other constrained environments
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
Automated Penetration Testing Agentic Framework Powered by Large Language Models
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.
Scrypto is the asset-oriented smart contract programming language of the Radix network. It allows you to quickly build secure and composable dApps.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
This is proof of solvency tool for Centralized exchanges built by Binance. Please raise bugs and security issues to https://bugcrowd.com/binance
OpenZeppelin Contracts is a library for secure smart contract development.
Declarative binary reading and writing: bit-level, symmetric, serialization/deserialization