Octant

Public Nouns (https://publicnouns.wtf/) funds experiments in public goods. The Public Nouns DAO community "lives" on the edges of the normal distribution bell curve allowing it to fund projects and ideas that might otherwise be passed over by most organizations. Public Nouns DAO uses onchain decentralized governance to coordinate around which ideas to fund. Borrowing from the Charity:Water model, Public Nouns has a goal to fund any operational expenses separate from the funds that go into…

rotki is an open source portfolio tracking, accounting, analytics and tax reporting tool that protects your privacy. rotki's long term vision is to become the one-stop for all your portfolio managing and tracking needs. A place to track, account for and actively manage your assets over all EVM(or not) chains, CEXes and the tradfi world. We believe we can achieve that through radical transparency that developing in opensource gives and by encouraging all of you to help us grow and develop the…

# 🌳🌳 **GG20 update** 🌳🌳 Silvi is now in public beta. Anyone can use our [app](https://app.silvi.earth) to register and report on tree plantings as well as geotag mother trees of interest. Note: Only projects which have been vetted and configured with methodologies are eligible for stewardship and MRV payments. But anyone may use the app permissionlessly for free In GG 19, we pledged 25% of our Gitcoin grant to launch…

🌱 Gardens is a modular coordination mechanism giving organizations streamlined access to web3’s best spending strategies like Conviction Voting, Quadratic Funding, Streaming Proposals, Bounties, and more, which they can use to invest their treasuries in any combination of instances. Our emphasis is on a community experience that’s **healthy, fun, intuitive, secure, and open.** The keystone of Gardens infrastructure is the **Community Covenant** which serves to: - Encode a community’s…

Hevm is a specialized symbolic execution engine and testing framework for Ethereum smart contracts. It enables developers to perform detailed analysis of contract behavior, find edge cases, and verify properties of their code through symbolic manipulation. This powerful tool helps ensure contract correctness and security.

Fe is a statically typed language for the Ethereum Virtual Machine (EVM). The syntax and type system is similar to Rust's, with the addition of higher-kinded types. We're exploring additional type system, syntax, and semantic changes.

A statically-typed, curly-braces smart contract language for EVM.

End-to-end verification for Ethereum smart contracts

Vyper is a pythonic programming language for smart contracts on the Ethereum Virtual Machine (EVM). It aims to become a leading choice for smart contract development by offering superior developer experience, high-quality tooling, maximum readability, and enhanced security.

Powdr is a ZK compiler framework that accelerates and secures zkVMs automatically. We apply advanced compiler techniques to identify performance-critical parts of the program being proved, and replace them with optimized circuits, called *autoprecompiles*. These are generated without developer intervention and come with higher correctness assurance.

Open Source Observer is a free analytics suite that helps funders measure the impact of open source software contributions to the health of their ecosystem.

OrbitDB is a serverless, distributed, peer-to-peer database. OrbitDB uses IPFS as its data storage and Libp2p Pubsub to automatically sync databases with peers. It's an eventually consistent database that uses Merkle-CRDTs for conflict-free database writes and merges making OrbitDB an excellent choice for p2p and decentralized apps, blockchain applications and local-first web applications. OrbitDB empowers developers to build applications which protect data ownership, ensure user privacy and…