Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View clarus's full-sized avatar
๐Ÿป
โ˜พฮป
๐Ÿป
โ˜พฮป
317 followers · 1.1k following

Achievements

Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: Public SponsorAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Achievements

Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: Public SponsorAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Highlights

  • Pro

Organizations

@coq-bench @coq-concurrency @coq-io

Block or report clarus

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
@ortolanrj
Raph ortolanrj
Software Engineer Intern - CS @ UERJ

Rio de Janeiro

@ZK1bn-dev
ZK1bn-dev
@hexarch
hexarch hexarch
hexarch

ร‰cole 42 ฤฐstanbul

@Gy-Hu
Guangyu (Gary) HU Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.

The Hong Kong University of Science and Technology Hong Kong

@JohnMwendwa
John Mwendwa JohnMwendwa
Developer, mentor and problem-solver. I love turning complex challenges into simple, usable products. My drive: writing code that makes a difference.

Uni AirFibre Networks Nairobi, Kenya

@rafaelafpro
Rafael Andrade rafaelafpro
Fullstack Web Developer

Ubรก, Minas Gerais

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@ameeraxyz
ameeraxyz
@bmorphism
Barton Rhodes bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then โŠ› represents agency being exerted on systems"

@plurigrid san francisco

@crisprking
crisprking
@crisprking Cal Chem Bio and Brandeis Bioinformatics.
@this-vishalsingh
thisvishalsingh this-vishalsingh
Security Researcher

@ZippelLabs Remote

@thpani
Thomas Pani thpani

blltprf.xyz Vienna, Austria

@jakegsy
jakegsy
@PierreM83
Pierre Mahot PierreM83
Aiming for the best in Web3

@GSAdvisory France

@notorious-d-e-v
Notorious D.E.V. notorious-d-e-v
Gettin' these ai agents PAID.

PayAI

@tonymendonca23
Antonio Mendonca tonymendonca23
Full Stack Developer Student
@michaelj1
michaelj1
@matteobusi
Matteo Busi matteobusi
Researcher at the Ca' Foscari University of Venice. Formal methods and security.

Italy

@0xMurk
0xMurk 0xMurk
**Full Stack Blockchain Developer** *Trading BOT expert* *Focusing on DeFi && GameFi* *Web3 RUST MAXI* *SOLIDITY MASTER* *BNB ROCKSTER*

Solana, Etherium, BNB

@rikusato0
Riku Sato rikusato0
Just helping

Remote Japan

@isabellemaluza
Isabelle Maluza isabellemaluza
Estudante de Sistemas para Internet na FATEC Rubens Lara, com sรณlida experiรชncia em HTML, CSS, JavaScript e SQL. Atualmente estudando Isabelle/hol.
@mashharuki
Haruki Kondo mashharuki
Web3ใ‚„AIใ€AWSใชใฉๅน…ๅบƒใๅ‹‰ๅผทไธญใ€‚ๅญฆ็”Ÿๆ™‚ไปฃใฏใƒจใƒƒใƒˆ้ƒจใซๆ‰€ๅฑžใ—ใฆใŠใ‚Š4ๅนด้–“ๆฑŸใƒŽๅณถใฎๆตทใงๆดปๅ‹•ใ—ใฆใ„ใพใ—ใŸใ€‚ ๆƒ…ๅ ฑๅ‡ฆ็†ๅฎ‰ๅ…จ็ขบไฟๆ”ฏๆดๅฃซ ็ฌฌ022981ๅท

Japan

@1500256797
็ฎ€็ฎ€็ฎ€็ฎ€ 1500256797
Go Rust,focus on blockchain and backend......
@o-santi
Leonardo Santiago o-santi
python sdk @supabase
@tocen
tocen
@7777777-alt
ุตุจุงุญ ุญู…ูŠุฏูˆ ู…ุญู…ุฏ 7777777-alt
@motanelson
nelson jr mota motanelson
Can find me on discord chanel cosmos os

https://youtube.com/@nelsonmota-s4u Portugal, lisbon

@YaroslavPodorvanov
Yaroslav Podorvanov YaroslavPodorvanov

@DocHQ Kyiv, Ukraine & Antalya, Turkey

@huynhtrankhanh
Huแปณnh Trแบงn Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam

@mehrad31415
Mehrad mehrad31415
@Haydo-Walker
Haydo-Walker
@ansuman679
ansuman679
@divyaranjan1905
Divya Ranjan Pattanaik divyaranjan1905
Mathematics, Philosophy, Libre Software.

India

@24601
Basit Mustafa 24601
Tell your agents I said hi.

CTO @ Procurement Sciences Telluride, CO

@shatachandra
shatachandra
@romefeller
Alexandre Garcia de Oliveira romefeller
Seeking knowledge on Blockchain, Formal verification, Proof Assistants, Haskell, Type Theory, HoTT, Agda, Rust, Coq, Category Theory, and Isabelle

Formal Land - Romefeller - Fatec Rubens Lara

@dharwadker
Manish Dharwadker dharwadker
@0xstonegm
0xStone 0xstonegm
gm
@sethbdev
SethBdev sethbdev
@Joyettaanderson
Joyettaanderson
@AshGreyG
AshGrey :> ใ‚Šใ™ ๐Ÿฟ๏ธ AshGreyG
Love @huaier007 forever ๐ŸŠ

@Empiremono Huaier's heart

@Chloezhu010
Chloe Zhu Chloezhu010
Coding @42school
@Sherryketchie
Sherryketchie
@Patrick188955
Patrick188955
@oneofvalts
Abdullah Uyu oneofvalts
Mathematics Graduate
@sjffxc
sjffxc
@shahriarlabib12
shahriarlabib12
@Idria05
Idria05
@rxhul18
Rahu! ๐Ÿ‡ฎ๐Ÿ‡ณ rxhul18
ใ“ใ‚“ใซใกใฏใ€ๅ‹้”! ๐Ÿ’๐Ÿปโ€โ™‚๏ธ I write code ๐Ÿš€, play guitar, develop software, and explore new places!!

Earth

@benjaminmerchin
Benjamin Merchin benjaminmerchin
Thinking, learning, building.

Paris