LLVM
llvm
This is the LLVM organization on GitHub for the LLVM Project: a collection of modular and reusable compiler and toolchain technologies.
NASA
nasa
ReadOpen Data initiative here: https://www.nasa.gov/open/ & Instructions here: https://github.com/nasa/nasa.github.io/blob/master/docs/INSTRUCTIONS.md
United States of America
Devine Lu Linvega
neauoire
Black Tourmaline.
https://git.sr.ht/~rabbits
@hundredrabbits Nepturne 7757
Typst
typst
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
Berlin
Brainfuck Enterprise Solutions
bf-enterprise-solutions
Welcome to the new era of reliability
United States of America
Takashi Suwa
gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer
Kyoto, Japan
AdvancedResearch
advancedresearch
A research branch of the Piston project (https://www.piston.rs/)
International
Philip Wadler
wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
University of Edinburgh Edinburgh
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Barry Jay
barry-jay-personal
I've left the university to work on my book and explore other opportunities
self-employed Sydney, Australia
Univalent Mathematics
UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
Kate
kit-ty-kate
Contractor working on opam (OCaml Package Manager). Previously @tarides / @ocamllabs
--------
Autogestion à toute échelle, pain et liberté.
@ahrefs @ocaml-sf Glasgow, Scotland
PreviousNext