Jon Nadal
jonnadal
I'm interested in formal verification and am working on the @stateright model checker for verifying the correctness of distributed systems.
K Mani Chandy
kmchandy
Simon Ramo Professor Emeritus, California Institute of Technology
California Institute of Technology Pasadena
The TrustTheVote® Project
TrustTheVote-Project
Innovating election technology through open source software.
Palo Alto, CA
Fabian Schuiki
fabianschuiki
Senior Staff Hardware Compiler Engineer at SiFive. PhD in Computer Architecture.
SiFive Silicon Valley, California
Univalent Mathematics
UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
Laboratory for Nano Integrated Systems (LNIS)
LNIS-Projects
University of Utah Salt Lake City
Historical Source
historicalsource
A collection of historical source files, for education and perusal.
Verificatum AB
verificatum
Develops cryptographic software. Used in local and national electronic elections in Israel, Norway, Spain, Estonia, and Switzerland.
Stockholm, Sweden
Rishiyur S. Nikhil
rsnikhil
Hardware design: mostly RISC-V, mostly using Bluespec BSV.
Also Haskell, RISC-V Formal Specifications, tutorials.
Bluespec, Inc. Framingham, MA, USA
TrustTheVote Project
trustthevote
The SuperUser Repo is being deprecated as of 6.2016; please visit: https://github.com/TrustTheVote-Project for the OSET Institute's TrustTheVote Project Repo.
OSET Institute, Inc. Palo Alto, CA USA
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA