model-checking
Users following model-checking
Denis Yermakou
AxonOS-BCI
Founder of AxonOS — a real-time Rust kernel for brain-computer interface systems. #![no_std] · Cortex-M · Singapore.
AxonOS Singapore
Yarik
Utishnik
- Hi, I'm Yarik
- I'm interested in science
- I'm learning programming now
-my tik-tok accaunt - https://www.tiktok.com/@yarik_1207?lang=ru-RU
Kentaro Aoki
sUI-sEEEEEE
Old-school CLI nerd doing Full-stack development with Rust.
and | High-Performance WEB (Dioxus + GSAP) | Secure systems | Linux distro |
JP/Tokyo
Noah Gift
noahgift
🚀 Founder of Pragmatic AI Labs | Building AI/ML Education for 1M+ Students | Duke EIR | AWS ML Hero
Learn production ML: https://paiml.com
Pragmatic AI Labs Spain
Suradet PS
suradet-ps
Pharmacist with a passion for coding and continuous learning, always seeking innovative solutions at the intersection of healthcare and technology.
Thailand
Jorge Luiz Gouveia Sousa
iataganCursos
Brasil. Javascript, Java, C / C ++, Clipper, Rust, Python, PHP, MySQL. SVG, WebGL. Linux (Inteligência Artificial, Eletrônica, Robótica).
@iataganCursos Brazil
LeoniePhiline
Rustacean from Berlin, Germany, with a focus on security and performance. Quadrocopter enthusiast.
Marcos Sandoval
marcos1394
soy un ingeniero quimico apasionado por la tecnología y contribuir en proyectos que aporten valor para las organizaciones y la sociedad
Los Mochis, Sinaloa
PreviousNext