Verified zk(E)VM
Verified-zkEVM
Github organization for the verified zk(E)VM formal verification project
Pragmatic AI Labs
paiml
The leading collection of graduate-level courses on Data Science, ML, Data Engineering, and Computer Science.
Spain
Math, Inc.
math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.
United States of America
Informal Systems
informalsystems
Premier Partner in Protocol Design & Cross-Chain Infrastructure
FuzzingLabs
FuzzingLabs
Research-oriented cybersecurity company specializing in AppSec, Vulnerability Research, Fuzzing and Offensive security.
France
Tej Chajed
tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.
UW-Madison Madison, WI
Bitwarden
bitwarden
Open source security solutions for individuals, teams, and business organizations. Explore Password Manager, Secrets Manager, and passkey innovations.
Earth
Common Crawl Foundation
commoncrawl
Common Crawl provides an archive of webpages going back to 2007.
Naman Jain
Naman-ntc
CS Ph.D. Berkeley | AI for Code, Math, Reasoning | Previously - AWS CodeWhisperer | MSR India | CSE, IIT Bombay
UC Berkeley Berkeley
E2B | Cloud for AI Agents
e2b-dev
Open-source, secure environment with real-world tools for enterprise-grade agents.
United States of America
Lukas Wirth
Veykril
@rust-analyzer lead, accidental IDE dev, specification writer and general open source tinkerer
@zed-industries Germany
Devinterview-io
A curated list of interview essentials covering full-stack, data structures, software architecture, data science and machine learning.
David Stutz
davidstutz
Research scientist at DeepMind, davidstutz.de, hello@davidstutz.de
London, UK
ASSET Research Lab at Purdue University Lead By Dr. Lin Tan
lt-asset
AI-Software Synergy Research At Purdue University Lead By Dr. Lin Tan
Shuvendu Lahiri
shuvendu-lahiri
Researcher in formal methods, verification, and software engineering.
@Microsoft Redmond, WA
PreviousNext