Stars
A feature-rich command-line audio/video downloader
A tool to download whole playlists, channels or single videos from youtube and also optionally convert them to almost any format you would like
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
OBS Studio - Free and open source software for live streaming and screen recording
Removes large or troublesome blobs like git-filter-branch does, but faster. And written in Scala
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
IEML semantic language - a meaning-representation system based on semantic primitives and a regular grammar. Basic semantic relationships between concepts are automatically computed from syntactic …
⚡ Dynamically generated stats for your github readmes
Easy to maintain open source documentation websites.
Port of OpenAI's Whisper model in C/C++
A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain
A Chrome extension that will steal literally everything it can
NightDive-Studio / machines
Forked from markol/machinesThe 3D Real-Time Strategy video game from 1999 developed by Charybdis and distributed by Acclaim.
A command line tool that draw plots on the terminal.
A curated and opinionated list of resources for Chief Technology Officers, with the emphasis on startups
Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
OpenZeppelin Contracts is a library for secure smart contract development.
Invoke is a leading creative engine for Stable Diffusion models, empowering professionals, artists, and enthusiasts to generate and create visual media using the latest AI-driven technologies. The …
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown
A web-based demonstration of blockchain concepts.
Virtual whiteboard for sketching hand-drawn like diagrams
The source code that powers readthedocs.org