Stars
ChatGPT Conversations to Markdown is a Python script that converts your exported ChatGPT conversations into readable and well-formatted Markdown files.
A lightweight browser-based tool to export your ChatGPT conversations in beautiful Markdown or PDF format.
convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to contribute / productionize.
a collection of open source crypto datasets for researchers and tool builders
Interact with your documents using the power of GPT, 100% privately, no data leaks
The Bluesky Social application for Web, iOS, and Android
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Smart Contract Security Verification Standard
detect hazardous storage writes in Solidity contracts
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
Stable Diffusion with Core ML on Apple Silicon
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Concrete ML: Privacy Preserving ML framework using Fully Homomorphic Encryption (FHE), built on top of Concrete, with bindings to traditional ML frameworks.
Concrete: TFHE Compiler that converts python programs into FHE equivalent
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
To be deprecated in favor of https://github.com/flashbots/builder
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
gas efficient & flexible settlement layer for options (derivatives)