octra labs
octra-labs
non-profit association of researchers and builders who develop fast and reliable FHE solutions for blockchain, AI and ML.
Switzerland
Khalil Gibran Hassam
Forpee
Over 4yrs of progressive experience in tech, love studying algorithms and solving hard problems. Skills: Frontend, Backend, App dev & Machine Learning
South Africa
Yoichi Hirai
pirapira
Using this account for activities of Flamingo Ponderado Unipessoal LDA since 2025-07-09.
Flamingo Ponderado Unipessoal LDA Europe
Algorand
algorand
Algorand is a scalable, secure and decentralized digital currency and transactions platform.
AdaCore
AdaCore
AdaCore is the leading provider of commercial software solutions for Ada.
Paris, France - New York City, NY
Tux-EVSE Linux Electric Car Charger
tux-evse
OCPP-2.01 & ISO15118-2/20 EV charger
French Southern Lands
David Pearce
DavePearce
Author of the Whiley programming language. Researcher in Smart Contracts @ ConsenSys. Interests include formal verification, compilers, and static analysis.
ConsenSys New Zealand
ZKM
ProjectZKM
Developing zkMIPS: An open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA
PreviousNext