Skip to content
View jllovet's full-sized avatar
🐙
🐙

Organizations

@OpeningQuestions

Block or report jllovet

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 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
@nhchristianson
Nicolas Christianson nhchristianson
Assistant Professor, Johns Hopkins CS

Johns Hopkins University Baltimore, MD

@Vexoben
Yueyang Feng Vexoben
A PhD student at the National University of Singapore. Let's do formal verification!

NUS

@volodeyka
Vladimir Gladshtein volodeyka
I do formal verification with interactive theorem provers

National University of Singapore Singapore

@jkachmar
jkachmar jkachmar

@MercuryTechnologies New York City

@parsonsmatt
Matt Parsons parsonsmatt

@mercurytechnologies Denver, CO

@SHoltzen
Steven Holtzen SHoltzen

Northeastern University Boston, MA

@agda
Agda Github Community agda
See https://github.com/agda/organization/wiki for an overview of the repositories in this organization.
@SamuelSchlesinger
Samuel Schlesinger SamuelSchlesinger
Cryptography engineer at Google Chrome focused on the intersection of privacy and security. Creator of the Computable Secrets YouTube channel.

Google Connecticut

@stevesolun
Steve Solun stevesolun
High motivated, dedicated, fast learner data scientist and enthusiastic researcher.
@colbymchenry
Colby Mchenry colbymchenry
15+ years of experience building software.
@msaxto1
Matt msaxto1
Senior at Towson University

Baltimore

@Jiaaqiliu
Jiaqi Liu Jiaaqiliu
CS PhD student at UNC-Chapel Hill.

UNC Chapel Hill, NC, US

@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@jonkrohn
Jon Krohn jonkrohn
Chief Data Scientist; Author of "Deep Learning Illustrated"; SuperDataScience Host

Y Carrot New York

@koaning
vincent d warmerdam koaning
Solving problems involving data. AskMeAnything[tm].

@marimo-team Amsterdam

@willmcgugan
Will McGugan willmcgugan
I'm a full-stack software developer and Python expert. Creator and maintainer of @Textualize Creator of Rich, Textual, and @PyFilesystem.

Edinburgh, UK

@cipherstash
CipherStash cipherstash
Security for the world where humans left the loop.

United States of America

@TomLippincott
Thomas Lippincott TomLippincott
Associate professor in CS and the Humanities Institute researching computational intelligence for traditional humanistic scholarship.

Johns Hopkins University Baltimore, MD

@BurntSushi
Andrew Gallant BurntSushi
I love to code.

@openai Marlborough, MA

@hgraca
Herberto Graça hgraca

@Get-E Amsterdam, The Netherlands

@stytchauth
Stytch by Twilio stytchauth
The authentication and authorization toolkit for developers. Now a part of Twilio.
@lootlocker
LootLocker lootlocker
The cross-platform plug and play game backend for developers to build, ship, and run their best games.

Stockholm, Sweden

@woodruffw
William Woodruff woodruffw
open source interloper, member @Homebrew, member @pypa, maintainer @zizmorcore

@astral-sh @openai New York, NY

@grafana
Grafana Labs grafana
Grafana Labs is behind leading open source projects Grafana and Loki, and the creator of the first open & composable observability platform.

Sweden

@Roolps
Yara McRobert Roolps

@lootlocker United Kingdom

@ladydascalie
Benjamin Cable ladydascalie
I write servers for food.

@LootLocker United Kingdom

@DylanMeeus
Dylan Meeus DylanMeeus
Engineering Manager @ AWS

Amazon Toronto, Canada

@asahasrabuddhe
Ajitem Sahasrabuddhe asahasrabuddhe
Staff DevOps Engineer at @Automattic

@Automattic Nagpur, India

@rliebz
Robert Liebowitz rliebz

Morning Consult Arlington, VA

@saschagrunert
Sascha Grunert saschagrunert
The difference between fine and great software is listening to people.

Red Hat I’m on earth right now, sometimes in the air.

@meatballhat
Dan Buch meatballhat
Human person 🎷 🐻

@replicate Pittsburgh, PA

@abitrolly
Anatoli Babenia abitrolly

Yak Shave Inc. The Land of Dinosaurs

@HugoBlox
HugoBlox HugoBlox
⚡ Describe your site. AI builds it. You own it as Markdown.

United Kingdom

@cweill
Charles Weill cweill
agentmaxxing | ex-{xAI, YC W23, Google AI})

San Francisco, CA

@matryer
Mat Ryer matryer
Running AI at @grafana Gopher, developer, speaker, podcaster, author.

@grafana London

@openfga
OpenFGA openfga
OpenFGA is a flexible Authorization system inspired by Google's Zanzibar, designed for reliability and low latency at scale. OpenFGA is in CNCF Incubation stage

OpenFGA United States of America