TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
rust-unofficial
Catch-all organization for unofficial Rust projects which have become orphaned or otherwise need community maintainership
Model Context Protocol
modelcontextprotocol
An open protocol that enables seamless integration between LLM applications and external data sources and tools.
IOTA
iotaledger
IOTA is an open-source distributed ledger technology built to bring real-world applications on-chain.
Berlin, Germany
Deleted user
ghost
Hi, I'm @ghost! I take the place of user accounts that have been deleted.
:ghost:
Nothing to see here, move along.
Jigsaw
Jigsaw-Code
Jigsaw is an incubator within Google that builds technologies to give people greater agency in the world around them.
New York
Andrey Andreev
andyceo
Fullstack developer, AI R&D, Master of Computer Science, CTO, Software Architect, Devops, Highload, Blockchain R&D
Moscow, Russia
Mike Amundsen
mamund
Working to improve the quality and usability of information on the Web.
amundsen-com, inc. Kentucky, USA
Gael Varoquaux
GaelVaroquaux
Research director at Inria. Computer science, data science, health. Scipy & pydata coder; (co)funder of scikit-learn, joblib, probabl.
Alexander Panchenko
alexanderpanchenko
A researcher in computational linguistics and natural language processing.
University of Hamburg Hamburg, Germany