PedrobyJoao
Software Developer interested in understanding how and why things work in the universe. Engineering interests: Computation, AGI and Space Exploration
NuNet
Pinned Repositories
.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
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
PedrobyJoao's Repositories
PedrobyJoao/.dotfiles
My dotfiles for a comfortable development workflow
PedrobyJoao/16-bit-computer
Building a complete 16-bit computer (hardware and software) guided by the book "The Elements of Computing Systems"
PedrobyJoao/AI-scripts
Some handy AI scripts
PedrobyJoao/docs
Documentation site for the libp2p project.
PedrobyJoao/docs.bacalhau.org
PedrobyJoao/entertainment_blocker
Chrome extension which blocks access to reddit and youtube
PedrobyJoao/go-ipfs-api
The go interface to ipfs's HTTP API
PedrobyJoao/go-ipfs-http-client
Go-IPFS API implementation over HTTP API
PedrobyJoao/go-libp2p
libp2p implementation in Go
PedrobyJoao/Graphs
Just studying graph algorithms
PedrobyJoao/Hardest-Logic-Exercise
Counts how many substrings of a bigger string are anagrams of each other.
PedrobyJoao/learning-functional-programming
Studying functional programming with Haskell
PedrobyJoao/My-Homepage
My first homepage using HTML/CSS + Bootstrap framework!
PedrobyJoao/my-nixos
My NixOS system and home-manager config
PedrobyJoao/MyStorage
The online storage for your business!
PedrobyJoao/nix-gym
just a few exercises to get acquainted with nix and the functional paradigm as a whole
PedrobyJoao/PedrobyJoao
Styling my github homepage
PedrobyJoao/pycardano
A lightweight Cardano library in Python
PedrobyJoao/testing-libp2p-kademliaDHT
Testing features of Content Routing and Advertisemnt of the libp2p Kademlia DHT
PedrobyJoao/testing_gossipsubPX
Just testing how the builtin discovery mechanism of Gossipsub works (with Peer Exchange - aka PX)
PedrobyJoao/utilities
random utilities and tools
PedrobyJoao/vim_extension_configs
Configs for Vim VSCode's extension
PedrobyJoao/WordWebFinder
Find specific words in a webpage