michaelsproul

AdGuardHome

Network-wide ads & trackers blocking DNS server

ponyc

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

console

a debugger for async rust!

xcaddy

Build Caddy with plugins

pds

Bluesky PDS (Personal Data Server) container image, compose file, and documentation

arc-swap

Support atomic operations on Arc itself

polyml

Poly/ML

karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

pdfScale

Bash Script to Scale and Resize PDFs using Ghostscript

hevm

symbolic EVM evaluator

homu

A bot that integrates with GitHub and your favorite continuous integration service

smlnj

Standard ML of New Jersey

archery

Abstract over the atomicity of reference-counting pointers in rust

Paprika

An experimental storage for Nethermind, removing the whole Trie abstraction and acting as a Trie and a database at once

ValueScript

A dialect of TypeScript with value semantics.

rlp

Fast implementation of Ethereum RLP serialization

consentry

A standalone consensus networking service for listening to events

rust-assert-no-alloc

Custom Rust allocator allowing to temporarily disable memory (de)allocations for a thread. Aborts or prints a warning if allocating although forbidden.

dencun-devnets

Infrastructure code used to setup EIP4844 dev/testnets.

sszpp

C++ SSZ library

python_formal_semantics

deque

Double-ended queues

bors-ng.nix

Nix package and NixOS module for bors-ng

checkmate

the CheckMate protocol verification tool

eth-nodes

Composable, Reproducible builds for Ethereum Ecosystem (Debian/Ubuntu)

ssz-hs

Ethereum SSZ library for Haskell

blockprint-ui

Shiny new user interface for blockprint

choreo

sss

Simple secure signer: verified hardware wallet

beacon_block_lodestar_classifier