Get up and running with Kimi-K2.5, GLM-4.7, DeepSeek, gpt-oss, Qwen, Gemma and other models.

Run your GitHub Actions locally 🚀

jq for binary formats - tool, language and decoders for working with binary and text formats

libp2p implementation in Go

Project Wycheproof tests crypto libraries against known attacks.

Simple DNS proxy with DoH, DoT, DoQ and DNSCrypt support

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledg…

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

A modular tool to track anything on the EVM chain, including real-time tracking and alerts.

Pwn2Own Vancouver 2023 Ubuntu LPE exploit

Coverage-Guided Greybox Distributed Fuzzer

Implementation of a differential fuzzer for Ethereum Virtual Machines

A virtual machine for Cairo written in Go

Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks

cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to anothe…

It's the Go compiler, but it panics on arithmetic and truncation issues.

Security-oriented Go toolchain

CVEsniper is a Go-based tool designed to audit Go modules for known vulnerabilities. It fetches vulnerability data from Snyk's vulnerability database and compares it with the versions of the module…