Octant

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.

<p>Our initiatives include mangrove rehabilitation, citizen science programs, ocean education to coastal communities, and capacity training and workshops that engage local communities in conservation efforts.</p> <p>With a proven track record of impactful projects—such as restoring abandoned ponds to mangroves and collecting more than 3,000 data points of mangroves to support data validation of mangrove extent—we set the standard for conservation excellence.</p> <p>We are bridging the gap…

<p>DeFood is short for the Decentralized Food Security Network (DFSN), which explores ways to increase local, regional and global food security by reversing the industrial model and decentralizing food production, at a time when extreme climate impacts, war and other factors threaten farming and other food production, as well as food distribution. Our primary focus is building the DeFood app, which supports local agriculture by providing a free, UX-friendly buy/sell/barter platform that’s…

<p>In Uganda, landslides have tragically killed over 1,000 people, devastated crops, and forced people to vacate their ancestral land. Entire communities are at risk of disappearing. Without urgent help, more lives will be lost, and the land will never recover.</p> <p>In the shadows of Mt Elgon National Park, many farmers believed they must choose between trees and crops. Fearing trees as space-hungry competitors, they cleared them to grow food. This led to loss of biodiversity, soil erosion,…

<p>We are weaving a territorial process of regeneration among many local initiatives. This includes reforestation, watershed restoration, education of children and youth, and coordination among local producers to create regenerative economic models.</p> <p>The Barichara Regeneration Fund was created in 2021 and has supported the weaving of reforestation efforts throughout the territory. We established a territorial foundation called Fundación Barichara Regenerativa that supports the convening,…

<p>Astral provides open-source tools + infrastructure empowering developers to build user-centric, verifiable location-based apps on the decentralized web.</p> <p>We create the tools, standards and protocols necessary for a decentralized geospatial web, simplifying how Web3 developers integrate spatial and location data into their apps.</p> <p>We’ve developed the Location Proof Protocol, introducing a new Web3 primitive representing user locations. The Location Proof Protocol is a framework…

eSusFarm empowers African smallholder farmers with affordable, AI-driven farming insights, blockchain-based insurance, and access to inputs via mobile platforms to boost productivity, resilience, and financial access.