Skip to content
View abrown7100's full-sized avatar
9 followers · 38 following
  • Austin, Texas
  • 03:43 (UTC -05:00)

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Block or report abrown7100

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
@wallyqs
Waldemar Quevedo wallyqs
NATS Core Maintainer

Synadia Communications, Inc. San Francisco

@serokell
Serokell serokell
The most bizarre company with the bravest ideas of functional programming application

World

@casey
Casey Rodarmor casey
😻A N A R C H O ー ネ コ バ ス 😻

The Blue Planet

@zyedidia
Zachary Yedidia zyedidia

Stanford University Stanford, CA

@jonringer
Jonathan Ringer jonringer
A release manager for NixOS 20.09, 21.05, 21.11, and previously 24.05. Functional Programming fan including Haskell and NixOS

Near Seattle, WA

@fullstack-build
fullstack-build
@magefile
Mage magefile
A make/rake replacement for Go
@elliotchance
Elliot Chance elliotchance
I'm a data nerd and TDD enthusiast originally from Sydney, Australia. I love exploring new technologies and working on modern ways to solve age old problems.

Staff Engineer at Uber New York

@DylanMeeus
Dylan Meeus DylanMeeus
Staff Software Engineer @ Warner Music Group.

Amazon Toronto, Canada

@bufbuild
Buf bufbuild
A new way of working with Protocol Buffers.

Canada

@ConnectEverything
ConnectEverything
@abcdw
Andrew Tropin abcdw
FOSS developer. Author of Guix Home, Arei Guile IDE and RDE projects. Hack on operating systems and programming languages.

Bangkok

@ulexxander
Alexander Ustyugov ulexxander
Backend & DevOps | Go | Node.js | AWS | Kubernetes | Docker | GitLab CI | Linux | React | React Native | Fintech | Blockchain | IoT

Limitlex d.o.o. Slovenia

@nats-io
NATS - The Edge & Cloud Native Messaging System nats-io
NATS is a simple, secure and performant communications system and data layer for digital systems, services and devices.
@testcontainers
testcontainers
@charmbracelet
Charm charmbracelet
We make the command line glamorous.

/dev/tty

@denisidoro
Denis Isidoro denisidoro
Software Engineer

Google Brazil

@zellij-org
zellij-org
@OpenMathBooks
OpenMathBooks
@letsencrypt
Let's Encrypt (ISRG) letsencrypt
A free, automated, and open certificate authority.
@PrincetonUniversity
PrincetonUniversity
@acl2
A Computational Logic for Applicative Common Lisp acl2

Austin, TX

@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@ligurio
Sergey Bronnikov ligurio
I make software suck less
@Z3Prover
Z3 Theorem Prover Z3Prover
@the-nix-way
The Nix Way the-nix-way
Opinionated learning resources for the Nix package manager and language
@garden-io
garden.io garden-io

Berlin, Germany

@nikitavoloboev
Nikita nikitavoloboev
@AlloyTools
AlloyTools
@hwayne
Hillel Wayne hwayne

Chicago

@tlaplus
TLA+ tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
@LukeMathWalker
Luca Palmieri LukeMathWalker
Playing around with Rust, at $dayjob and for fun.

Mainmatter Rome

@dss-extensions
DSS-Extensions dss-extensions
Language interfaces and extensions for an alternative implementation of EPRI's OpenDSS
@networkupstools
Network UPS Tools project networkupstools
@42ity
42ITy 42ity
@openenergysolutions
Open Energy Solutions, Inc. openenergysolutions
Digitally Transforming the Electric Grid

United States of America

@riker-rs
riker-rs
@corynguyenfl
Cory Nguyen corynguyenfl