I'm an IT specialist with a fervor for the startup ecosystem. My journey in the tech sphere is fueled by a relentless quest for innovation and the application of new technologies that enhance our modern world.
Highlights
- Pro
Pinned Loading
-
Kiguli/PRoTECT
Kiguli/PRoTECT PublicPRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle d…
Python 5
-
Project_Ambient
Project_Ambient PublicA team project that involves Genetic Algorithms and creates an environment for cells to evolve, make colonies and choose their lifestyle, according to the simple present rules in the designed world.
-
mqtt_system_governor
mqtt_system_governor PublicApplication, which allows to execute real-time commands and automated command pipelines on multiple clients (systems, including edge devices) connected to the network using only one terminal.
Python 3
-
yuanchenyang/SumOfSquares.py
yuanchenyang/SumOfSquares.py PublicPython implementation of Sum-of-Squares optimization built on picos
If the problem persists, check the GitHub status page or contact support.