joaormatos
Follow
-
fabric Public
Forked from hyperledger/fabricHyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry u…
Go Apache License 2.0 UpdatedJul 6, 2024 -
RC3-Coq Public
Forked from beatrizagf/RC3-CoqMechanization of the RC3's type system and its type safety proof
Coq UpdatedMar 14, 2022 -
meo-wifi-login Public
Forked from ravemir/meo-wifi-loginAllows automated login through a MEO Wifi Premium hotspot
-
-
opentogethertube Public
Forked from dyc3/opentogethertubeWatch videos with your friends. The spiritual successor to TogetherTube, preserving the spirit of it's simple to use interface, while improving it's look, feel, and reliability.
JavaScript UpdatedMay 16, 2020 -
-
-
minium-social-bot Public
Forked from viltgroup/minium-social-botMinium Social Bot
JavaScript UpdatedFeb 22, 2017 -
orgcss Public
Forked from gongzhitaao/orgcssSimple and clean CSS for Org-exported HTML
CSS MIT License UpdatedOct 16, 2016 -
anaconda Public
Forked from Matt-Esch/anacondaAnaconda and Chowdren are open, cross-platform runtimes for Clickteam Fusion 2.5, with support for desktop and console platforms.
C++ GNU General Public License v3.0 UpdatedSep 14, 2015 -