Mara Bos
m-ou-se
Rust leadership council member, Rust library team lead, Author of Rust Atomics and Locks, Founder of Fusion Engineering and Hexcat
Netherlands
Determinate Systems
DeterminateSystems
Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪
Everywhere
Nixpkgs Architecture Team
nixpkgs-architecture
The Nixpkgs Architecture Team was there to solve architectural nixpkgs issues that are too big in scope for any single person to undertake
Morpheus GraphQL
morpheusgraphql
Haskell GraphQL library, Build GraphQL APIs with your favourite functional language!
Shriram Krishnamurthi
shriram
Brown Computer Science || BootstrapWorld || Pyret || Racket
Brown University
Introduction to Homotopy Type Theory
HoTT-Intro
Formalization projects associated to the forthcoming Introduction to Homotopy Type Theory book.
Ben Gamari
bgamari
I enjoy compilers, hiking, and bicycling
Well Typed LLP Portsmouth, NH, United States
Philip Wadler
wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
University of Edinburgh Edinburgh
Marko Dimjašević
mdimjasevic
Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.
Križevci, Croatia
Robert Hensing
roberth
hercules-ci.com founder: Nix-first CI/CD
Nixpkgs: @mention me because I must unsubscribe often
@hercules-ci The Hague, Netherlands
Michael Snoyman
snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)
@fpco Israel