se3000

nocode

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

awesome-falsehood

😱 Falsehoods Programmers Believe in

pkgx

the last thing you’ll install

trigger.dev

Trigger.dev is the open source background jobs platform.

awesome-workflow-engines

A curated list of awesome open source workflow engines

firecracker-containerd

firecracker-containerd enables containerd to manage containers as Firecracker microVMs

rejected-github-profile-achievements

😵 GitHub achievements that did not make the cut.

tfhe-rs

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

halmos

A symbolic testing tool for EVM smart contracts

mud

MUD is a framework for building autonomous worlds

pyrometer

A tool for analyzing the security and parameters of a solidity smart contract

interface-types

solidity-style-guide

sphinx

DevOps platform for smart contract deployments

libsubmarine

Implementation of a novel practical scheme for submarine commitments

zkPoEX

zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, facilitating efficient communication and collaboration between hackers and project owners for a more secure DeFi ecosystem.

soldeer

Solidity Package Manager written in rust

MevWallet

MevWallet is a smart contract wallet that allows the user to capture MEV from Searchers, or create MEV on purpose.

hashi

An EVM hash oracle aggregator

rgb

RGB smart contracts: command-line tool & wallet runtime library for desktop and mobile integration

slither-action

ccip

Cross Chain Interoperability Protocol

RIPs

The Ethereum Rollup Improvement Proposal repository

foundry-chainlink-toolkit

A plugin to use Chainlink products/services in Foundry

sibyls

oracle implementation for numeric discreet log contracts

wasp

Protocol-agnostic load testing library for Go

op-rosetta

A Rosetta implementation for Optimism Bedrock

operator-ui

wsrpc

A bi-directional Websockets RPC library

go-boot

micro-framework for deterministic services boot and shutdown