pedronfigueiredo

Pedro Figueiredo's starred repositories

hub-monorepo

Implementation of the Farcaster Hub specification and supporting libraries for building applications on Farcaster

Language:TypeScriptMIT65500

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.1469900

solidity-style-guide

46500

tortoise-tts

A multi-voice TTS system trained with an emphasis on quality

Language:Jupyter NotebookApache-2.01235000

art-of-node

:snowflake: a short introduction to node.js

Language:JavaScriptNOASSERTION976800

execution-specs

Specification for the Execution Layer. Tracking network upgrades.

Language:PythonCC0-1.080900

tcr

A generic token-curated registry

Language:JavaScriptApache-2.027800

dead-mans-switch

What happens to your cryptoassets when you shrug off your mortal coil?

Language:JavaScript2700

git-interactive-rebase-tool

Native cross-platform full feature terminal-based sequence editor for git interactive rebase.

Language:RustNOASSERTION149200

RedDress-PlantUML

Stylesheets for PlantUML

23900

onionfile

Simple file sharing over tor hidden services (v3)

Language:JavaScriptMIT2800

node-artblocks

Node package for reading on-chain Art Blocks data

Language:JavaScriptMIT8300

core

This monorepo is a collection of packages used across multiple MetaMask clients

Language:TypeScriptMIT25000

template-snap-monorepo

Language:TypeScriptApache-2.011100

awesome-chatgpt-prompts

This repo includes ChatGPT prompt curation to use ChatGPT better.

Language:HTMLCC0-1.010683800

LavaMoat

tools for sandboxing your dependency graph

Language:JavaScriptMIT83600

tape

tap-producing test harness for node and browsers

Language:JavaScriptMIT576600

metamask-extension

:globe_with_meridians: :electric_plug: The MetaMask browser extension enables browsing Ethereum blockchain enabled websites

Language:JavaScriptNOASSERTION1166300

reveal.js

The HTML Presentation Framework

Language:JavaScriptMIT6727900

builder

Flashbots MEV-Boost Block Builder

Language:GoLGPL-3.041700

diffusers

🤗 Diffusers: State-of-the-art diffusion models for image and audio generation in PyTorch and FLAX.

Language:PythonApache-2.02392700

truffle

:warning: The Truffle Suite is being sunset. For information on ongoing support, migration options and FAQs, visit the Consensys blog. Thank you for all the support over the years.

Language:TypeScriptMIT1402600