Mostly Rust, Elm, Haskell, Agda, HoTT
- Kyiv, Ukraine
- http://twitter.com/ko_bx
- @ko_bx
Jeremy Soller
jackpot51
System76 Principal Engineer, Pop!_OS maintainer, and Redox OS BDFL, NOT LOOKING FOR WORK
System76 Colorado
HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
Rust IoT
rust-iot
A community org to share triage and maintainence of rust embedded drivers and libraries in the IoT space
cvetaevvitaliy
Embedded tinkerer. Turning schematics into reality. Soldering dreams, debugging nightmares. Real-time, every time.
Signal Hound Legacy
SignalHoundLegacy
Please visit the official Signal Hound GitHub here: @SignalHound. This is a legacy account.
@SignalHound United States
Kismet Wireless
kismetwireless
Kismet and related tools and libraries for wireless monitoring, transmitting, and auditing.
Kismet Wireless
System76
system76
System76 computers empower the world's curious and capable makers of tomorrow
Denver, CO
lwvmobile
Florida Man / C Coder with eccentric interests.
See my neocities site if you want to buy me a coffee.
Diia
diia-open-source
Diia is an app with access to citizen’s digital documents and government services
Ukraine
Fedir Gontsa
gontsa
Cartography Designer, GIS specialist, architect, urban planner, map designer, scientist
Cherkasy, Ukraine
Erik Landvall
superhero
Embracing first principles thinking, I analyze problems, break them down into core and general units, crafting innovative solutions.
Barcelona, Spain
Robbert van der Helm
robbert-vdh
I make Linux stuff. And audio stuff. And sometimes also Linux audio stuff.
@channable Utrecht, the Netherlands
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Rígille S. B. Menezes
rigille
I'm trying to learn some things and have fun :w
Mixrank Vitória, Brasil
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
PreviousNext