Starred repositories
pySMT: A library for SMT formulae manipulation and solving
Formalizing stochastic doubly-efficient debate
TextAttack 🐙 is a Python framework for adversarial attacks, data augmentation, and model training in NLP https://textattack.readthedocs.io/en/master/
Open-source, secure environment with real-world tools for enterprise-grade agents.
Cairo compiler plugin extending language with annotations
Horus, a formal verification tool for StarkNet smart contracts.
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
A robust execution client for Ethereum node operators.
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
A compilation of patterns and best practices for the smart contract programming language Solidity
Solidity, the Smart Contract Programming Language
OpenZeppelin Contracts is a library for secure smart contract development.
CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software
This project implements blockchain applications for climate action and accounting, including emissions calculations, carbon trading, and validation of climate claims. It is part of the Linux Founda…
Access and analyze historical weather and climate data with Python.
Liquid Prep offers an end-to-end solution for farmers looking to optimize their water usage, especially during times of drought.
World's largest Contributor driven code dataset | Used in Quark Search Engine, @OpenGenus IQ, OpenGenus Visual Project
Patch's Javascript client library - https://www.patch.io
Track emissions from Compute and recommend ways to reduce their impact on the environment.
A directory and analysis of the open source ecosystem in the areas of climate change, sustainable energy, biodiversity and natural resources. https://docs.getgrist.com/gSscJkc5Rb1R/OpenSustaintech
🌊 Julia software for fast, friendly, flexible, ocean-flavored fluid dynamics on CPUs and GPUs
The open source repository for Electricity Maps App and data parsers that enables a real-time visualisation of the CO2 emissions of electricity consumption