pedrobyjoao Goto Github PK

.dotfiles

My dotfiles for a comfortable development workflow

16-bit-computer

Building a complete 16-bit computer (hardware and software) guided by the book "The Elements of Computing Systems"

ai-scripts

Some handy AI scripts

assets

General assets, mainly wallpapers and quotes, to be used by any tools such as WMs.

docs

Documentation site for the libp2p project.

docs.bacalhau.org

entertainment_blocker

Chrome extension which blocks access to reddit and youtube

go-ipfs-api

The go interface to ipfs's HTTP API

go-ipfs-http-client

Go-IPFS API implementation over HTTP API

go-libp2p

libp2p implementation in Go

graphs

Just studying graph algorithms

hardest-logic-exercise

Counts how many substrings of a bigger string are anagrams of each other.

learning-functional-programming

Studying functional programming with Haskell

my-homepage

My first homepage using HTML/CSS + Bootstrap framework!

my-nixos

My NixOS system and home-manager config

mystorage

The online storage for your business!

nix-gym

just a few exercises to get acquainted with nix and the functional paradigm as a whole

pedrobyjoao

Styling my github homepage

pycardano

A lightweight Cardano library in Python

software_foundations

My solutions and notes for Software Foundations books

testing-libp2p-kademliadht

Testing features of Content Routing and Advertisemnt of the libp2p Kademlia DHT

testing_gossipsubpx

Just testing how the builtin discovery mechanism of Gossipsub works (with Peer Exchange - aka PX)

utilities

random utilities and tools

vim_extension_configs

Configs for Vim VSCode's extension

wordwebfinder

Find specific words in a webpage