gapilo14 / celestia-blockchain-optimization Star 0 Code Issues Pull requests Formal analysis and optimization of Celestia Blockchain using PEPA algebra. formal-methods formal-verification unive blockchain-performance pepa ca-foscari pepa-eclipse-plugin cm90 Updated Dec 17, 2024 Python
Leonardpepa / Leonardpepa Star 0 Code Issues Pull requests Leonard (Leonarnt) Pepa GitHub Profile github pepa leonard leonardpepa leonarnt leonarntpepa Updated Dec 15, 2025
jcmarty / Macedonian Star 0 Code Issues Pull requests Base de Datos en formato JSON con Railway, para Proyecto Colaborativo Macedonia java api postman ublock-origin 6th-semester macedonia pihole convolutional-rnn pihole-adblocker-list university-of-macedonia gru-neural-networks pepa applied-informatics macedonian-language Updated Dec 25, 2025 JavaScript