TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.
Dstack TEE
Dstack-TEE
A developer friendly and security first SDK to simplify the deployment of arbitrary Docker-based apps into TEE.
Copilot Extensions
copilot-extensions
A toolkit for building integrations into GitHub Copilot. Access code samples, a debugging tool, an SDK, and user feedback repo. Docs: https://gh.io/builder-docs
United States of America
EthereumJS
ethereumjs
Ethereum Javascript Community - Your Javascript Gateway to Ethereum
Sealed into the Genesis Block
Neurosity
neurosity
Neurosity is reimagining brain-computer interfaces and neuro-powered applications.
United States of America
Benjamin Smith
bh2smith
Pure Mathematician (Gauge Theory) & Ethereum & Near Blockchain Engineer (smart contracts, backend services, data engineering and automation)
@mintbase Berlin, Germany
Emmanuel Awosika
emmanuel-awosika
Writer (crypto infrastructure & security). Learning machine. Crazy genius.
Mars
Derek Anderson
dmikey
web3 is the way, distributed, self-governing computer programs will show us.
Blockless Sioux Falls, South Dakota
Langflow
langflow-ai
Langflow is a powerful tool for building and deploying AI-powered agents and workflows.
xinbenlv
xinbenlv
A coder, thinker and community builder.
ENS: xinbenlv.eth
Current Timezone GMT-4 (US Eastern)
@d3servelabs Silicon Valley, CA
Darren
darrensapalo
One who wishes to care gently, to learn deeply, and to be peacefully.
San Francisco
meister03
meister03
Hi, I am a JS Dev, which especially works on efficiency, vertical scaling & crosshosting
Check my Public Repos for getting a overview of my projects.
PreviousNext