Starred repositories
Distributed Proofreaders is a web application intended to ease the process of converting public domain books into e-texts.
A friendly programming language from the future
🌀 Experience tranquillity while browsing the web without people tracking you!
An innovative superfamily of fonts for code
Libraries supporting Discord's Audio & Video End-to-End Encryption (DAVE) protocol
Primary and community-submitted packages for webinstall.dev
A calendar, task manager and daily planner plugin for logseq
Code and documentation for the Pirate Weather API
Go source code for Bluesky's atproto services.
A list of all known tools available for the Bluesky platform
Another unofficial Android AniList client
NAND is a logic simulator suite made entirely from NAND gates
A secure, fast, and adaptable OS based on the seL4 microkernel
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
Main source code repository of the Tamarin prover for security protocol verification.
Lean 4 programming language and theorem prover
Quill is a modern WYSIWYG editor built for compatibility and extensibility
Harden Windows Safely, Securely using Official Supported Microsoft methods and proper explanation | Always up-to-date and works with the latest build of Windows | Provides tools and Guides for Pers…
Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
A Material Design Weather Application
A private, p2p alternative to Slack and Discord built on Tor & IPFS