Skip to content
View Emraors's full-sized avatar
  • Milan

Block or report Emraors

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
@victorrentea
Victor Rentea victorrentea
Java Champion, Trainer, and Consultant. Software Craftsman. ex-Lead Architect at IBM Romania. Drinking Java☕️ since 2006. Teaching others since 2012.

Independent Bucharest, Romania

@seL4
seL4 microkernel and related repositories seL4
Provided by the seL4 Foundation

Australia

@alexandru
Alexandru Nedelcu alexandru
Scala and Haskell enthusiast, @typelevel contributor, author of @monix

@ing-bank România

@nimarasekh
Nima Rasekh nimarasekh
I am a postdoc at Universtät Greifswald. I am mostly interested in category theory and the formalization of categorical structures.

Universität Greifswald Greifswald, Germany

@simplex-chat
SimpleX Chat simplex-chat
SimpleX - the first chat platform that is 100% private by design - it has no access to your connection graph!
@codereport
Conor Hoekstra codereport
Research Scientist @NVIDIA, formerly @amzn, @moodysanalytics

NVIDIA Toronto, ON

@lukehoban
Luke Hoban lukehoban
VP Eng @github - GitHub Copilot. Previously CTO @pulumi, EC2 @aws, TypeScript, VS Code and C# @microsoft and ECMAScript @tc39.

@github Seattle

@videlalvaro
Alvaro Videla videlalvaro
Work @microsoft - @duraznoconf Organizer. Coauthor of RabbitMQ in Action. Ex 🍎 - Ex RabbitMQ Core Dev. Opinions my own and not those of my employer.

@Microsoft Zurich

@ahelwer
Andrew Helwer ahelwer
TLA⁺ core developer

Disjunctive Seattle, Washington, USA

@sunshowers
Rain sunshowers
Rust developer, @nextest-rs maintainer

@oxidecomputer Oakland, CA, US

@Horusiath
Bartosz Sypytkowski Horusiath
Software engineer. Functional and distributed programming enthusiast.

Warsaw, Poland

@davepl
David W Plummer davepl
Former MSFT dev; I wrote Task Manager, Zip Folders, ported Space Cadet Pinball, worked on the Shell 93-03. Also added Product Activation to Windows :-)

Plummer's Software LLC Redmond, WA

@hyperliquid-dex
Hyperliquid hyperliquid-dex
Hyperliquid is a Layer 1 blockchain best known for perpetual futures and spot trading. The ecosystem supports borrowing, lending, RWAs, and a full-fledged EVM.
@bitfield
John Arundel bitfield
Go/Rust writer and coach. Subscribe to learn with me! 👇

Bitfield Consulting Cornwall, UK

@dfinity
DFINITY dfinity
The Internet Computer aims to reinvent the internet as a computer to host secure software and a new breed of open internet services.

Switzerland

@bravit
Vitaly Bragilevsky bravit
JetBrains

JetBrains Larnaca, Cyprus

@johnperry-math
John Perry johnperry-math
Formerly a mathematician (computer algebra). Currently a software developer (mostly Rust). Looking forward to Ada surpassing C++ in my "Most Used Languages".

Hattiesburg, MS

@drepper
Ulrich Drepper drepper

@RedHatOfficial Third Rock, Sol

@terrateamio
Terrateam terrateamio
Open-source infrastructure automation using familiar GitHub workflows with Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi.

Netherlands

@formal-land
Formal Land formal-land
Formal Verification for everyday-life applications
@tg12
tg12 tg12
SRE by day, Trader by night jamessawyer@protonmail.com

36Hs6atY4XDwS8AK6qcSLtyVLCqX85fm1w Earth

@snowleopard
Andrey Mokhov snowleopard
From engineering to abstract mathematics and back

Jane Street UK

@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@risc0
RISC Zero risc0
Fixing the Internet, one ZKP at a time
@nexus-xyz
Nexus nexus-xyz
Enabling Verifiable Computation
@jdvillal
Jorge Villalta jdvillal
Computer Science

New York

@thalerjonathan
io:nathan thalerjonathan
I aim to combine the best of pragmatic industry engineering and principled academic research.

https://www.lambdabytes.io/ Austria, Vorarlberg, Hohenems

@QuantumLeaps
Quantum Leaps QuantumLeaps
Modern Embedded Software

North Carolina, USA

@louthy
Paul Louth louthy
Been coding since 1985. Still love to create! Full bio at https://paullouth.com/about/

Level 83 London

@LukeMathWalker
Luca Palmieri LukeMathWalker
Playing around with Rust, at $dayjob and for fun.

Mainmatter Rome

@slawlor
Sean Lawlor slawlor
Software Engineer @ Meta

Meta Montreal

@ForrestKnight
Forrest Knight ForrestKnight
🎥 My YouTube channel's more entertaining. I code whatever helps make my life easier.

Virginia Beach, VA

@codecrafters-io
CodeCrafters codecrafters-io
Build your own Git, SQLite, & Redis.

United States of America

@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@eugenp
Eugen eugenp
Teaching Java and Spring.

Baeldung Bucharest, Romania

@VaughnVernon
Vaughn Vernon VaughnVernon
Vaughn Vernon is the founder of @vlingo and @vlingo-net, a leading expert in Domain-Driven Design, and a champion of simplicity and reactive software.

Kalele Carefree, Arizona

@anoma
Anoma anoma
Anoma is a distributed operating system for the world computer.
@dpiponi
Dan Piponi dpiponi
Using an IBM Port-a-Punch I wrote my first program in Fortran in around 1978.

San Anselmo, CA, USA

@runarorama
Rúnar runarorama

@unisoncomputing Boston

@luc-tielen
Luc Tielen luc-tielen
Interested in functional programming, compilers and logic. Mainly working on Eclair, a high performance Datalog that compiles to LLVM.

Lambda Tech Belgium

@plt-amy
Amélia Liao plt-amy
Homotopy type theorist ✨

Brazil

@nikivazou
Niki Vazou nikivazou
Research Assistant Professor and Haskeller

IMDEA Madrid

@debasishg
Debasish Ghosh debasishg
Programmer at large. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy

Conviva India