Starred repositories
Solidity Static Analyzer that easily integrates into your editor
The AI coding agent built for the terminal.
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Solidity library of encrypted contracts using Zama's FHEVM
A lightweight sandboxing tool for enforcing filesystem and network restrictions on arbitrary processes at the OS level, without requiring a container.
Deepnote is a drop-in replacement for Jupyter with an AI-first design, sleek UI, new blocks, and native data integrations. Use Python, R, and SQL locally in your favorite IDE, then scale to Deepnotβ¦
The AI Toolkit for TypeScript. From the creators of Next.js, the AI SDK is a free open-source library for building AI-powered applications and agents
Svelte AI Elements is a custom registry built on top of shadcn-svelte to help you build AI-native applications faster.
πΌ δΌι ε°δ½Ώη¨εΊδΊ clash/mihomo η代ηη―ε’
Like gmail for your coding agents. Lets various different agents communicate and coordinate with each other.
The best way to connect a wallet π π§°
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
TUI Application to manage Obsidian notes directly from the terminal
Personal AI Notebooks. Organize files & webpages and generate notes from them. Open source, local & open data, open model choice (incl. local).
Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
A binary lifter and analysis framework for Ethereum smart contracts
The cross-platform open-source app built for handwriting
π« Toolkit to help you get started with Spec-Driven Development
A payments protocol for the internet. Built on HTTP.
OpenZeppelin Contracts is a library for secure smart contract development.
π¦ π¦ π¦ π¦ Core smart contracts of Uniswap v4
β¨ The Next Gen Airtable Alternative: No-Code Postgres