Pinned Repositories
anaconda
Anaconda and Chowdren are open, cross-platform runtimes for Clickteam Fusion 2.5, with support for desktop and console platforms.
fabric
Hyperledger 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 use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.
meo-wifi-login
Allows automated login through a MEO Wifi Premium hotspot
minium-social-bot
Minium Social Bot
opentogethertube
Watch 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.
orgcss
Simple and clean CSS for Org-exported HTML
p16_assembler
Assembler to P16
RC3-Coq
Mechanization of the RC3's type system and its type safety proof
joaormatos's Repositories
joaormatos/meo-wifi-login
Allows automated login through a MEO Wifi Premium hotspot
joaormatos/p16_assembler
Assembler to P16
joaormatos/anaconda
Anaconda and Chowdren are open, cross-platform runtimes for Clickteam Fusion 2.5, with support for desktop and console platforms.
joaormatos/fabric
Hyperledger 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 use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.
joaormatos/minium-social-bot
Minium Social Bot
joaormatos/opentogethertube
Watch 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.
joaormatos/orgcss
Simple and clean CSS for Org-exported HTML
joaormatos/RC3-Coq
Mechanization of the RC3's type system and its type safety proof
joaormatos/reference
joaormatos/sdat2img
sdat2img binary for Android
joaormatos/ZaWarudo