Symbolic execution tool
File checksum generator and verifier.
a collection of floppy linux distributions
Making self-custody easy and secure for the EVM ecosystem
novaGallery - Beautiful & modern PHP Image Gallery
Raiden Network
Open-source electronics platform
Smart Operating System for x86, ARM, Mobile, Watch
Zenoss - Intelligent IT Operations Management
Main repository of Project Alice, contains main unit source code
Dapp, Seth, Hevm, and more
The reference implementation of the ERC-721 non-fungible token
Grow Open Source
Use your tablet as graphic tablet/touch screen on your computer
Easy build your personal search engine with Aquila Network
Kelp is a free and open-source trading bot for the Stellar DEX
humbly smart Operating System - Debian derivative
A modern, web-based photo management server
Password Generator which creates passwords they can't brute force
Smart Food Court App
A permissioned Ethereum smart-contract blockchain node
Kron Smart Chain, Creado y desarrollado por Jober Urizare y sus colaboradores Marco Urbaneja y Jairo Navarro
Smart Resume Creator and Job Application Organizer