Skip to content

@runtimeverification Runtime Verification Inc.

Users following runtimeverification

@mikeyfennelly1
Mikey Fennelly mikeyfennelly1
Immersive Software Engineering, University of Limerick.

Hoplite Ireland

@kowinkhaing200-hue
MOELWINTUN (DIABC123678901234567) kowinkhaing200-hue
Moelwintun@mlh.com MyanmaryoungerMoelwintun.googlephoto/html

moelwintun@mlh.com.enterprises Singapore

@gbennett71
gbennett71
@EllipticPi
Ike EllipticPi

University of Utah Salt Lake City, Utah

@Qinggao1729
清都山水郎 Qinggao1729
Senior at Berkeley studying CS and logic. Make math animations and do Lean formalizations.
@Yummy-Yums
Yummy-Yums
Interested in distributed, scalable systems, FP , Web dev , OSS sailewalderbs@gmail.com

Accra, Ghana

@0xA672
0xA672
Счастье для всех! ᔦ ° ꒳ ° ᔨ ̖́-

Wyoke Scott domain

@Totiruzi
Onowu Christopher Oyemechi Totiruzi
I am simple, cool and always ready to learn with an enthusiastic energy. I got my first and second degree in software programming and automated systems.

Russia, Krasnodar

@Ebotian
Nicolette86132 Ebotian
It seems interesting...

Nanjing University of Aeronautics and Astronautics China

@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@iktiarnazib
iktiarnazib iktiarnazib
Cross-Platform iOS & Android Developer building clean, scalable mobile applications that help businesses grow.

Avenarc

@NeoZorK
Rost S. NeoZorK
Quant Developer | Trading Systems R&D | Python, C++, MQL5 | Remote

ClaimBound-Evidence

@giovanniclima
Giovanni Senzani giovanniclima
For Motorsport Users contact me at emergenzaclimatica3@outlook.com in order to use Teams.
@0xPuddi
Elia Riva 0xPuddi
@ruseinov
Roman Useinov ruseinov
Polkadot address: 127o5MyqLCjZzggX5kTUokpvspKU4SgC1eRioJMYckVF4Ndm

Rotterdam, Netherlands

@huangjunwen
huang jw huangjunwen

GuangZhou, China

@kostunin
Dmitriy Kostunin kostunin
@svdev
S. svdev
@zhouzihao501
Zihao Zhou zhouzihao501
Natural Language Processing
@sunny-g
Sunny Gonnabathula sunny-g

@federato Austin, TX

@kehsihba-etahdiv
kehsihba etahdiv kehsihba-etahdiv
moto moto likes you
@Jacksoncake
Jacksoncake
@Frnd-me
Marlon Etheredge Frnd-me
PhD Researcher in Computer Science. Freelance software engineer working on signal processing, high-performance computing, and computer graphics projects.

Marlon Etheredge Austria

@ADSWT518
Yazhou Tang ADSWT518
Master's student @FICTION-ZJU, B.Eng. @SJTU-CSE, PL/FM beginner.

Zhejiang University Hangzhou, China

@jaybuidl
jaybuidl jaybuidl
Builder @kleros

@kleros asia-grid19-shard3

@dioptx
Dennis P dioptx
Surfing on/off-chain | Before data @binance, @glassnode, @ethereum-optimism, @arkhamintelligence | All neural outputs are my own or my dog

Athens, Greece

@lifestreamy
Tim Korelov lifestreamy
EN/RU
@codeForEatingEverything
Keyu Zhong codeForEatingEverything
I am an indie hacker.

Shanghai

@SweetWorkBlock
SweetWorkBlock
@MarkoPohlo
MarkoPohlo
@Patriciber
Patriciaciber Patriciber
Learning...

Sevilla

@aeRToE
aeRToE
@sofiabobadilla
Sofia Bobadilla sofiabobadilla
PhD student at @ASSERT-KTH Stockholm, Sweden

KTH Kungliga Tekniska högskolan, Sweden Stockholm, Sweden

@wissem01chiha
wissem chiha wissem01chiha
Software Engineer, ❤️ Open Source

KPIT

@guenit
Guenit guenit
@MewMew0000
MyLittleLover MewMew0000
@cd-dpk
Dipok Chandra Das cd-dpk
Student/PhD
@Banezzz
Anon Banezzz
Explore https://crv.li
@mattyv
Matt V mattyv
@thpani
Thomas Pani thpani

thpani.net Vienna, Austria

@diracpro
( ͡° ͜ʖ ͡°) diracpro
Python, Nest - Next JS, Solidity.

Dirac Pro

@wali-hu
Muhammad Abdullah wali-hu
You grow through what you go through

Phantom Protocol Pakistan

@AmirSaranga
Ovi ADE AmirSaranga
Ovi LLC

Ovi ADE Tel Aviv Jaffa Israel

@songever
Marisa Wensong songever
1021940593@qq.com songever414@gmail.com

Jinan University GuangZhou, China

@bitexplorerxbt
bitexplorerxbt
@Heliodex
Lewin Kelly Heliodex
Svelte, TS, Luau, Go etc. The Unlicense is the greatest piece of text that humanity has ever been blessed with. 🟩 https://heliodex.cf 💚

@tp-link-extender Scotland

@rebeca-vacaru
rebeca-vacaru
@EmmanuelMess
Emmanuel M EmmanuelMess
Roboticist, Lic. in Computer Science. Developer in multiple FOSS projects, and worked at agrotech.

Argentina

@danielwangai
Dan danielwangai

Nairobi - Kenya

@unsoundsystem
unsoundsystem
Interested in system software and its formal verification

Japan