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
@Neptune-Crypto
Neptune Neptune-Crypto
Sea of freedom
@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@karlseguin
Karl Seguin karlseguin

Singapore

@p-11
Project Eleven p-11
Securing digital assets for the post-quantum era
@dpatti
Doug Patti dpatti

New York

@PyO3
PyO3 PyO3
Pythonium Trioxide
@GOATNetwork
GOAT Network GOATNetwork
A Bitcoin Native ZK Rollup with Sustainable BTC Yield
@ShibasishPaul
Shibasish Paul ShibasishPaul
Nothing Special....

Moulvibazar, Bangladesh

@theorem-labs
Theorem theorem-labs

United States of America

@lambdaclass
Lambdaclass lambdaclass
Lambda is a deep tech venture studio blending research and engineering, with global offices and expertise from cryptotgraphy, distributed systems and compilers

Buenos Aires, Argentina

@andrewtian
Andrew Tian andrewtian

Berkeley, CA

@mayank-dev07
mayank_dev mayank-dev07
@centrifuge
Centrifuge centrifuge
Building the open infrastructure for onchain asset management.
@harmonic-ai
Harmonic harmonic-ai
Mathematical Superintelligence

United States of America

@ondoprotocol
Ondo Finance ondoprotocol
@kaplanmaxe
Max Kaplan kaplanmaxe
Building cool stuff, former @krakenfx
@topaz
Eric Wastl topaz
@pancakeswap
PancakeSwap pancakeswap
Decentralized trading protocol on BNB Smart Chain

Antarctica

@txtx
txtx txtx
High quality toolchains & infrastructure for blockchain-based stacks.

United States of America

@ZippelLabs
ZippelLabs ZippelLabs
Research and Development in Applied Cryptography
@aave
Aave Labs aave
@jgur-psyops
Jon Gurary jgur-psyops
@mrgnlabs
mrgn mrgnlabs
@0xPlish
0xPlish 0xPlish
Founder @hylo-so

Hylo Solana

@llPekoll
Yohann llPekoll
@z3roai
Ferris z3roai
Rust developer exploring blockchain & AI
@EkuboProtocol
Ekubo Protocol EkuboProtocol
Next generation AMM on Ethereum and Starknet

United States of America

@XDC-Community
XDC Community XDC-Community
XDC Community is maintained and operated by a global network of XDC Developers
@binance
Binance binance
Open source, from Binance with <3
@ChaosLabsInc
Chaos Labs ChaosLabsInc

United States of America

@pyth-network
Pyth Network pyth-network
Bringing real-world data on-chain at a sub-second timescale
@AndrewLeeCHCH
jy AndrewLeeCHCH
@bytetang
bytetang

@celer-network

@QuantuLabs
Quantu Labs QuantuLabs
Open-source solutions for the agentic future.
@CharlesCNorton
CharlesCNorton
Machina Vincit Omnia

@voxel51

@Excalead
Excalead Excalead
Smart contracts audit with AI for Solana

France

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@logical-intelligence
logical-intelligence
@Aursen
Aursen Aursen
Building Rust stuff..

France

@rocq-community
Rocq-community rocq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of packages for the Rocq Prover
@elizaOS
elizaOS elizaOS
Accelerating toward a bright future for all humans and agents.
@mehrad31415
Mehrad mehrad31415
@informalsystems
Informal Systems informalsystems
Premier Partner in Protocol Design & Cross-Chain Infrastructure
@dmentre
David MENTRÉ dmentre
@mattsse
Matthias Seitz mattsse
πŸ¦€ @tempoxyz
@jamesstanleystewart
James jamesstanleystewart

ConsenSys New Zealand

@ceyhunsen
Ceyhun Şen ceyhunsen
Low level software engineer

Δ°stanbul

@ekrembal
Ekrem BAL ekrembal
co-founder @chainwayxyz

Turkey

@defi0x1
defi0x1
let life = &mut self;

@MeteoraAg

@i9
Junda i9
UC Berkeley, Google, @celer-network & @brevis-network