tzaffi

just

🤖 Just a command runner

bips

Bitcoin Improvement Proposals

jupyterlite

Wasm powered Jupyter running in the browser 💡

risc0

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

Efficient_Python_tricks_and_tools_for_data_scientists

Efficient Python Tricks and Tools for Data Scientists

tfhe-rs

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

graphviz-visual-editor

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

automata

Automata: A self-coding agent

rapid

Rapid is a modern Go property-based testing library

executing

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

python-ast-explorer

The code behind python-ast-explorer.com

vlq

Generate, and decode, base64 VLQ mappings for sourcemaps and other uses

microvenv

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

Citadel-Protocol

Post-quantum endpoint-to-endpoint encryption for messaging and file-sharing SDK

indexer

searchable history and current state

beaker

A framework for writing Smart Contracts on Algorand

show_ast

An IPython notebook plugin for visualizing ASTs.

risc0-rust-starter

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

conduit

Algorand's data pipeline framework.

batch-ecdsa

Batch ECDSA in circom

website-v2

v2 of my personal website

zk-experiments

tinyevm

A tiny stack machine to learn Ethereum bytecode.

tealfmt

teal-sourcemap-decoder

ezmode

decipher-22-pyteal-talk

sim-stack-parser

conduit-plugin-template

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

gomy

This package is a personal library for Go language.