Skip to content

@rocq-prover The Rocq Prover

Users following rocq-prover

@TheNexusOfTheory
TheNexusOfTheory
@nniinnoo
Nino Tannio nniinnoo

Toulouse, France

@dtecho
dtecho
@Roninsc2
Viktor Fadeev Roninsc2
@sushink70
Sushin K sushink70
Senior Information Security Software Engineer | Linux Kernel Developer | Cloud Network Security | Protocol Development

Lumen Technologies, Bengaluru, IN (Hybrid) Kerala, IN

@lucasbrixner
Lucas Brixner Riça lucasbrixner

@FazCapital Porto Alegre, Brazil

@webxos
webXOS webxos

webxos united states

@Ali-hey-0
Ali Heydari Ali-hey-0
💻 Backend Dev & AI Enthusiast | Python, Node.js, Next.js, MongoDB, MySQL, Cybersecurity | Exploring PyTorch & Deep Learning | Passionate about scalable systems

iran,zanjan

@KostasSliazas
Kostas KostasSliazas
@hamidukarimi
Hamid Karimi hamidukarimi
Full-stack Developer | React Native & ReactJS | ExpressJS | MongoDB
@henripoody
NOPMLLC henripoody
@smoonthsky
smoonthsky smoonthsky
robot sdv

metabitverse metabitverse

@sandguine
Sandy Tanwisuth sandguine

San Francisco, Bay Area

@Risc42
Risc42

France

@Cushyz
Cushyz
@msaw328
Maciej Sawka msaw328
https://ctftime.org/user/38259

Poland

@ksqsf
ksqsf ksqsf
{-# LANGUAGE TypeInType #-}

無何有之鄉

@roife
roife roife
Interested in PL and Compiler.
@Jackcuii
Cui Bohan Jackcuii
=== ‘Least’ but not ‘Last’. === A senior undergraduate in NJU, Department of CS&T. / focusing on computer system

Nanjing University Urbana, IL, USA

@fdilke
Felix Dilke fdilke

@mention springernature London, UK

@roger-j-witte
Roger Witte roger-j-witte

Department for Transport London

@arachnewebb
Timothy Lake arachnewebb
I was born in 1978. I'm a musician and writer. I have an interest in software development, and I'm working on learning.

Dayton, OH, USA

@TMiclot
Tom Miclot TMiclot
CNRS Researcher

CNRS & ITODYS UMR7086 Paris, France

@robertjustice
robertjustice

Market place

@vasucp1207
Vasu Singh vasucp1207

@vicharak-in India

@vityaman
Victor Smirnov vityaman
Programming Languages and DBMS enjoyer, xxson. Like anything related to program analysis and transformation, even if a program is a database query.

ITMO University Russia, St. Petersburg

@Pobedinsky
Max Pobedinsky Pobedinsky

Porto

@Tiancheng-Luo
Tiancheng-Luo Tiancheng-Luo
@Yosuke-Ito-345
Yosuke Ito Yosuke-Ito-345
FIAJ (Fellow of the Institute of Actuaries of Japan)

Sompo Himawari Life Insurance Inc. Tokyo, Japan

@vishalbelsare
Vishal Belsare vishalbelsare
@danielbodnar
Daniel Bodnar danielbodnar
Platform Engineer • Systems Architect • Linux Evangelist • Emerging Technologist

https://bitbuilder.cloud Denton, Tx

@imadtg
imadtg
@imzarax
Μαικροο imzarax
@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

@laroccamartin
Martin Larocca laroccamartin
Research Scientist, Los Alamos National Lab.
@Leiser-Research
Leiser Research Leiser-Research

Leiser Research Biel/Bienne, Switzerland

@sylvaincom
Sylvain Combettes sylvaincom
Co-founding CEO at Formel AI • PhD from ENS Paris-Saclay

Paris, France

@martiam
Martiam martiam
@akp2003
Arshak Parsa akp2003

Tehran

@levihuayuzhang
Levi Schwarzman levihuayuzhang

Hong Kong

@marcjermaine-pontiveros
Marc Jermaine Pontiveros marcjermaine-pontiveros
@az15240
Stanley Yang az15240
Undergraduate Computer Sceince student from University of Washington. Actively seeking summer internships and research opportunities for 2025.

University of Washington Shanghai, China

@jonancm
Jonan CM jonancm
@engboris
Boris Eng engboris
🦕

@Titagone Paris, France

@Zhambur
Zhambur

Central South University

@josueestracord
Josue Estrada-Cordoba josueestracord
Environmental Science major & Mathematics minor at Georgia Gwinnett College. Interested in linguistics, mathematics, environmentalism. Born September 12, 2001.

Atlanta Metropolitan Area

@mex7xx
mex7xx
@kai-prince-sfhea
Kai Prince SFHEA kai-prince-sfhea

The University of Manchester

@samuelpswang
Samuel Wang samuelpswang
Computer Engineering @ Imperial '25
@xG0Ian
xG0Ian