checkpoint-restore
Projects around checkpoint-and-restore of Linux applications, containers and microservices
The Matrix.org Foundation
matrix-org
A new basis for open, interoperable, decentralised real-time communication
UUVerifiers
uuverifiers
A collection of verification tools developed by Uppsala University and the University of Regensburg.
The Algorithms
TheAlgorithms
Open Source resource for learning Data Structures & Algorithms and their implementation in any Programming Language
India
Jonas Bonér
jboner
Founder and CTO of Akka. Creator of the @akka Project, the @AspectWerkz AOP compiler, and many other OSS projects.
Akka Uppsala, Sweden
Vladimir Bukhtoyarov
vladimir-bukhtoyarov
Author of Bucket4j, architect at Sbertech.
Sbertech Saint-Petersburg, Russia
Gil Tene
giltene
I spend time in front of computer screens, and some behind them
Azul Systems Palo Alto, CA
Martin Escardo
martinescardo
Professor of Theoretical Computer Science
University of Birmingham United Kingdom
o1Labs
o1-labs
We're o1Labs. Catalyzing a new generation of zk applications. Incubators of Mina Protocol. Creators of kimchi and o1js (fka SnarkyJS)
San Francisco
PreviousNext