Alloy
alloy-rs
Alloy implements high-performance, well-tested & documented libraries for interacting with Ethereum and other EVM-based chains.
Clarity
clarity-lang
((( SAFER SMART CONTRACTS ))) Write smart contracts for Bitcoin and open a world of DeFi, NFTs, and more on the world's most secure blockchain.
Harsh Vakharia
harshjv
AI vibecheck.so • Hodler etherbit.in/about • Banker bitcoin.help • SaaS superchargify.com
MegaETH
megaeth-labs
MegaETH is real-time Ethereum, streaming transactions at lightning speed: sub-millisecond latency and over 100,000 transactions per second.
Sage Mathematical Software System
sagemath
Earth, Solar System, Milky Way Galaxy, Local Group, Virgo Supercluster, Universe
K framework
kframework
University of Illinois at Urbana-Champaign and Alexandru Ioan Cuza University of Iasi
Mate Soos @ Argot
msooseth
Formal Verification Engineer at the Argot Collective (formerly employed by the Ethereum Foundation).
Personal account: @msoos
Argot Collective @argotorg Berlin, Germany
Circuit Diagram
circuitdiagram
A user-friendly program for making electronic circuit diagrams.
Alp ₿📈🚀🌕
IDouble
🗽 Be greedy when others are fearful and be fearful when others are greedy ☕️ Full-Stack 🖥💻📱⌚️ Finance, Crypto ⛓ (Blockchain, Smart contracts etc.)
IDEX/USD Zurich, Switzerland
Standard Notes
standardnotes
An end-to-end encrypted notes app. Developer docs: https://docs.standardnotes.com
Tauri
tauri-apps
Build smaller, faster, and more secure desktop applications with a web frontend
SurrealDB
surrealdb
A scalable, distributed, collaborative, document-graph database, for the realtime web
United Kingdom
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Poly Network
polynetwork
Poly Network is a group for realizing blockchain interoperability, building the next generation internet.
Mars
Realm
realm
Realm is a mobile database: a replacement for SQLite & ORMs. SDKs for Swift, Objective-C, Java, Kotlin, C#, and JavaScript.
Bartosz Milewski
BartoszMilewski
Author of Category Theory for Programmers
Programming Cafe Paris, France
PreviousNext