Li Yao
lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Rocq.
Portland State University Portland, OR
Rocq-community
rocq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of packages for the Rocq Prover
J3 Fortran
j3-fortran
Repositories used by INCITS/Fortran (FKA J3) to collect feedback and work on new features.
Blaine Mooers
MooersLab
Associate Professor of Biochemistry and Physiology. RNA and protein crystallographer. Develops tools to ease the use of PyMOL. Drinks French Roast.
University of Oklahoma Health Campus Oklahoma City, OK, USA
Beliavsky
I analyze financial data in Fortran, R, and Python, post at Fortran Discourse, and tweet @FortranTip.
United States
Elad Kinsbruner
Eladkay
PhD student and TA at the Technion - Israel Institute of Technology.
Technion Haifa
Damian Rouson
rouson
Damian Rouson is Group Lead for the Computer Languages and Systems Software (CLaSS) Group at Berkeley Lab & president of Archaeologic Inc and Sourcery Institute
@BerkeleyLab @SourceryInstitute @Archaeologic-Inc Berkeley, CA, USA
Historical Source
historicalsource
A collection of historical source files, for education and perusal.