🧩 The Browser Extension Framework

TLA+ language support for Visual Studio Code

APALACHE: symbolic model checker for TLA+ and Quint

SifNode - The future of Defi

Lightweight dependency injection container for JavaScript/TypeScript

Points to miles transfer chart

Generate type-safe bindings for interacting with Ethereum contracts.

Open source software that helps you create and deploy high-frequency crypto trading bots

Visual primitives for the component age. Use the best bits of ES6 and CSS to style your apps without stress 💅

Ethereum implementation on the efficiency frontier https://docs.erigon.tech

Empowering everyone to build reliable and efficient software.

Ethereum consensus client in Rust

Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas

Everything there is to know about Flashbots

🔌 TypeScript bindings for Ethereum smart contracts

Type-safe, lightweight SDKs for Ethereum smart contracts

hardhat deployment plugin

⚠️ The Truffle Suite is being sunset. For information on ongoing support, migration options and FAQs, visit the Consensys blog. Thank you for all the support over the years.

C++11 ELF/DWARF parser

A high-performance DNS stub resolver for bulk lookups and reconnaissance (subdomain enumeration)

The React Framework

Dot language plugin for Intellij IDEA

Set of scripts to automate AOSP compatible vendor blobs generation from factory images

Wiki for overriding IMS settings to enable VoLTE/VoWiFi using Carrier Privileges in Android phones

🌐 🔐 Manage applets and keys on JavaCard-s like a pro

Simple scala library for building and parsing URIs

A plugin for generating BuildConstants for any kind of Gradle projects: Java, Kotlin, Groovy, etc. Designed for KTS scripts.

Unofficial FAQ and everything you've been wondering about Google Cloud Run.

Yet another JSON library for Scala