Skip to content
View elgerytme's full-sized avatar

Block or report elgerytme

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@theorem-labs
Theorem theorem-labs

United States of America

@scip-code
SCIP scip-code
SCIP Code Intelligence Protocol
@clavia-labs
Clavia Labs clavia-labs

United States of America

@dosco
Spacy dosco
llm research / open source ai / compilers

San Francisco

@stencil-hq
Stencil stencil-hq
New instruments for building software.
@w3c
World Wide Web Consortium w3c
We are an international community that develops open standards to ensure the long-term growth of the Web. Most of our groups do their work here.

World Wide Web

@formal-land
Formal Land formal-land
Formal Verification for everyday-life applications
@supermemoryai
supermemory supermemoryai
Give infinite context to your LLMs.

United States of America

@superlogical
Superlogical superlogical
We are building the multiplexer for all work.
@Open-Lab-Starter-Kit
Open Lab Starter Kit Open-Lab-Starter-Kit
Open Source Digital Fabrication Machines for Fab Labs

Germany

@earendil-works
Earendil Works earendil-works
Bearer of Light

Austria

@commaai
comma.ai commaai
Building the Android of self-driving cars

San Diego

@tinygrad
the tiny corp tinygrad
We will commoditize the petaflop.
@sifive
SiFive sifive
We bring RISC-V, software, and silicon experts together to innovate with a modern, software-driven approach to semiconductors.

United States of America

@kristoff-it
Loris Cro kristoff-it
vp of community @ziglang • curator of software you can love (https://sycl.it)

@ziglang Milan, Italy

@pirapira
Yoichi Hirai pirapira
Using this account for activities of Flamingo Ponderado Unipessoal LDA since 2025-07-09.

Flamingo Ponderado Unipessoal LDA Portugal

@bcherny
Boris Cherny bcherny
👨‍💻 Claude Code @ Anthropic

@Anthropic San Francisco

@modular
Modular Inc modular
Modular is an integrated, composable suite of tools that simplifies your AI infrastructure so your team can develop, deploy, and innovate faster.

United States of America

@SixHq
Sixth SixHq
Sixth is an AI powered platform for protecting applications and codebase from malicious exploitations by hackers.
@unjs
UnJS unjs
Unified JavaScript Tools
@entireio
Entire entireio
Entire is a new developer platform that hooks into your git workflow to capture AI agent sessions on every push, unifying your code with its context.
@libtom
libtom libtom
libtom projects - find us in #libtom on libera.chat
@typst
Typst typst
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.

Berlin

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@EgbertRijke
Egbert Rijke EgbertRijke
Postdoc in Mathematics

Johns Hopkins University Baltimore, MD

@stanford-oval
Stanford Open Virtual Assistant Lab stanford-oval
Research projects in the Stanford Open Virtual Assistant Lab

Stanford, CA

@Quantinuum
Quantinuum Ltd Quantinuum
Quantum Software and Technologies

Cambridge, UK

@neelsomani
Neel Somani neelsomani
Formal methods & ML. Previously: Eclipse, Citadel, UC Berkeley

San Francisco, CA

@the1lab
The 1Lab the1lab
An experiment in discoverable formalisation.
@vladimirias
Vladimir Voevodsky vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.