jodros
Follow
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Fly.io Apps
fly-apps
A curated collection of examples for Fly.io users to learn with and deploy
World Wide Web Consortium
w3c
We are an international community that develops open standards to ensure the long-term growth of the Web. Most of our groups do their work here.
World Wide Web
Solana Foundation
solana-foundation
Solana Foundation is a non-profit organization dedicated to the decentralization, resilience, and security of the Solana network.
Zug, Switzerland
LaurieWired
Reverse engineer specializing in cross-platform malware analysis with a focus on mobile threats.
LLVM
llvm
This is the LLVM organization on GitHub for the LLVM Project: a collection of modular and reusable compiler and toolchain technologies.
The Unicode Consortium
unicode-org
The standards body for character encoding and internationalization.
Everywhere…
Pietro Benati Carrara
PietroCarrara
A imaginação é tão importante quanto o conhecimento, pois no meio da dificuldade encontra-se a gambiarra. Atualmente, apanhando pra me graduar na @ufrgs
@Mobiltracker
The Algorithms
TheAlgorithms
Open Source resource for learning Data Structures & Algorithms and their implementation in any Programming Language
India
Tim Caswell
creationix
Making the world better and more free, one technology at a time.
@luvit Mountainburg, AR, USA
Typst
typst
Compose papers faster: Focus on your text and let Typst take care of layout and formatting.
Berlin
PreviousNext