Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Carnegie Mellon University
The Nix Way
the-nix-way
Opinionated learning resources for the Nix package manager and language
Siddhi Vinayak Tripathi
SiddhiVTripathi
Machine Learning and Robotics are my field of interest. Looking for opportunities and challenges.
LinkedIn Bangalore
Michael Levan
AdminTurnedDevOps
Kubernetes and Security Training, Content, and Consulting.
New Jersey
Tristram Oaten
0atman
Professional amateur developer.
Amateur professional producer.
https://noboilerplate.org London, UK
lin
withlin
Senior Software Engineer @ scb Formerly at @ wps Docker, Go, Kubernetes, SRE, MiddleWare,Rust.
Standard Chartered Bank GuangZhou,China
[OPENSTARSCAPE HAS MOVED]
OpenStarscape
This project has moved to https://codeberg.org/sphi/OpenStarscape
Supabase Community
supabase-community
Client libraries and more maintained and supported by the Supabase Community. Python, Rust, Golang, C#, Flutter, Postgres extensions.
Armin Ronacher
mitsuhiko
Software developer and Open Source nut. Creator of the Flask framework. Engineering at @getsentry. Other things of interest: @pallets and @rust-lang
Sentry Austria
OpenTelemetry - CNCF
open-telemetry
OpenTelemetry makes robust, portable telemetry a built-in feature of cloud-native software.
National Security Agency
NationalSecurityAgency
Official organization account for the National Security Agency (NSA)
United States
opsdisk
opsdisk
I love building at the intersection of infosec, Python, automation, and APIs. SSH tunnels are cool too.
Collaboration account is @derpadoo
The Algorithms
TheAlgorithms
Open Source resource for learning Data Structures & Algorithms and their implementation in any Programming Language
India
Maxime Beauchemin
mistercrunch
creator of Apache Airflow and Apache Superset - founder at Preset
preset-io San Mateo, CA
Wes McKinney
wesm
Principal Architect at https://posit.co. Creator of Python pandas and Ibis. Co-creator Apache Arrow. @apache Member and Apache Parquet PMC
@posit-pbc Nashville, TN
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.
Microsoft Hackathons
microsofthackathons
A set of unsupported, temporary hackathon projects from Microsoft
United States of America
Microsoft Azure
Azure
APIs, SDKs and open source projects from Microsoft Azure
United States of America