Paulo R. A. Sales's repositories
hyperhyperspace-core
A library to create p2p applications, using the browser as a full peer.
3dpie
gaudy 3d pie generator in react and three.js
aleph-vm
Aleph.im VM execution engine
amqp
Idiomatic Elixir client for RabbitMQ
awesome-machine-learning
A curated list of awesome Machine Learning frameworks, libraries and software.
berty
Berty is a secure peer-to-peer messaging app that works with or without internet access, cellular data or trust in the network
burrow
https://wiki.hyperledger.org/display/burrow
elixirschool
Premier destination to learn and master the Elixir programming language
graphql-gun
A graphql API for the gun p2p graph database
instant.io
🚀 Streaming file transfer over WebTorrent (torrents on the web)
joplin
Joplin - an open source note taking and to-do application with synchronization capabilities for Windows, macOS, Linux, Android and iOS. Forum: https://discourse.joplinapp.org/
latex2e
The LaTeX2e kernel
libcluster
Automatic cluster formation/healing for Elixir applications
oban
💎 Robust job processing in Elixir, backed by modern PostgreSQL
oneclickdapp-v1
:zap::wrench::link: :shipit: Instantly build a dApp with a simple URL to bookmark or share with a friend.
opendht
OpenDHT: a C++14 Distributed Hash Table implementation
openwifi
open-source IEEE802.11/Wi-Fi baseband chip/FPGA design
protocol
Bitcoin SV protocol specifications
pump.io
Social server with an ActivityStreams API
pyaleph
Next generation network of decentralized big data applications. Current connected chains: NULS, BNB and Ethereum.
riak
Riak is a decentralized datastore from Basho Technologies.
riak_kv
Riak Key/Value Store
ring-daemon
Mirror of Gerrit Ring Core Library and Daemon
snarkOS
A Decentralized Operating System for Zero-Knowledge Applications
svelte
Cybernetically enhanced web apps
textdb
The whole shaboodle for textdb, a simple data sharing service
tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
webtorrent
⚡️ Streaming torrent client for the web