Lean Algorithmic Trading Engine by QuantConnect (Python, C#)

Safe allows secure management of blockchain assets.

Sign and verify messages with Gnosis Safe

Catch API bugs before your users do

Adaptive fuzzing of Hypothesis tests

Kubernetes controller for GitHub Actions self-hosted runners

The Solana complex systems simulator.

Slightly simplified subprocesses

Terminal UI for Regex Testing

Python code object transformers

Production-ready community-driven modern Stripe-like API versioning in FastAPI

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

Post-quantum endpoint-to-endpoint encryption for messaging, file-sharing, and secret remote file storage SDK

Automata: A self-coding agent

A web application for interactive visual editing of Graphviz graphs described in the DOT language.

This package is a personal library for Go language.

Rapid is a modern Go property-based testing library

🤖 Just a command runner

A minimal re-implementation of Python's `venv` module

Get started with Algorand streaming APIs with Conduit plugin templates project.

Algorand's data pipeline framework.

Bitcoin Improvement Proposals

Get information about what a Python frame is currently doing, particularly the AST node being executed

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Zero zkVM.)

Batch ECDSA in circom