Stars
🔐🌐 Privacy-respecting web frontends for popular services
Simple Maven Artifacts for PRONOM Signatures
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Awesome Object Capabilities and Capability Security
Collaborative collection of audiovisual file standards and technical documents.
A pure Python cleanroom implementation of libmagic, with instrumented parsing from Kaitai struct and an interactive hex viewer
A curated list of replacements for existing software written in Rust
⌨️ A curated list of awesome tools, demos and resources to go beyond LaTeX
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap
😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
A list of command-line tools for manipulating structured text data
Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust
🦊 I respect proton UI and aim to improve it.
A highly-configurable, distributed, realtime database that manages a state tree shared among many peers.
📫 Cross-language temporary (disposable/throwaway) email detection library. Covers 55 734+ fake email providers.
A practical experiment on supply-chain security using reproducible builds
Penpot: The open-source design tool for design and code collaboration
Ultimate Plumber is a tool for writing Linux pipes with instant live preview
A modified web browser that helps in responsive web development. A web developer's must have dev-tool.
Flash tool for new Sony flash tool protocol (Xperia XZ Premium and further)
DNS over HTTPS / DNS over Tor / DNSCrypt client, WireGuard proxifier, firewall, and connection tracker for Android.
Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21
🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...
A list of Free Software network services and web applications which can be hosted on your own servers
Unix pager (with very rich functionality) designed for work with tables. Designed for PostgreSQL, but MySQL is supported too. Works well with pgcli too. Can be used as CSV or TSV viewer too. It sup…