Vivliostyle
vivliostyle
An open source project for a new typesetting system fitting for digital and web publishing based on the latest web standard technology
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
online-judge-tools
A team developing tools for competitive programming. Our mission is to help users get a higher rating.
Typst
typst
Compose papers faster: Focus on your text and let Typst take care of layout and formatting.
Berlin
Meta
facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Menlo Park, California
WHATWG
whatwg
Please leave your sense of logic at the door. All are welcome to participate.
#whatwg:matrix.org
Tauri
tauri-apps
Build smaller, faster, and more secure desktop applications with a web frontend
rp-rs
rp-rs
Rust on the RP series of microcontrollers. https://matrix.to/#/#rp-rs:matrix.org
PreviousNext