Copilot Language
Copilot-Language
Stream-based runtime-verification framework for generating hard real-time C code.
Ivan Perez, PhD
ivanperez-keera
Principal Research Scientist @ NASA Ames Research Center |Haskell software architect | Public Speaker
@NASA Ames Research Center / KBR San Jose, CA
Ian Kelling
ian-kelling
Senior Systems Administrator at FSF. Free software developer and activist.
Free Software Foundation
Yuichiro Tachibana (Tsuchiya)
whitphx
Software Artisan, Indie Dev, OSS Enthusiast
Hugging Face Tokyo, Japan
Ian Douglas Scott
ids1024
Pop!_OS Developer at System76. Linux user, open source programmer, etc.
@System76 California
Jeremy Soller
jackpot51
System76 Principal Engineer, Pop!_OS maintainer, and Redox OS BDFL, NOT LOOKING FOR WORK
System76 Colorado
Steve Phillips
elimisteve
@RevolutionizeDev: Designing radically simple, safe, resilient software that works more like biology. Let's build a better stack. #RevolutionizeEverything
@RevolutionizeDev San Francisco, CA
Pontus Rodling
Frigolit
Software developer, electronics hobbyist, tea drinker.
Canterbury, New Zealand
Alfredo Di Napoli
adinapoli
Haskell programmer working remotely from Rome, Italy.
Well-Typed LLP Rome, IT
Schell Carl Scivally
schell
Building tiny pieces of the coming mechanocracy.
@Electric-Coin-Company Pasadena, California and Nelson, New Zealand