verus-lang
The Verus verification project. Logo usage info at https://verus-lang.github.io/verus/verus/logo.html
Lambdaclass
lambdaclass
Lambda is a deep tech venture studio blending research and engineering, with global offices and expertise from cryptotgraphy, distributed systems and compilers
Buenos Aires, Argentina
HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Eric Zhou
zzzqzhou
Ph.D. Student of Computing and Information Sciences at Rochester Institute of Technology
Rochester Institute of Technology Rochester, NY, U.S.