Starred repositories
A cryptocurrency trading API with more than 100 exchanges in JavaScript / TypeScript / Python / C# / PHP / Go
repository for JuliaMono, a monospaced font with reasonable Unicode support.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
TuShare is a utility for crawling historical data of China stocks
Miniature rack builds, for portable or compact Homelabs.
Sunshine fork - The easiest way to stream with the native resolution of your client device
A curated list of awesome resources and tools for game level design.
Reading the Red Book – decoding Compact Disc Digital Audio
Free and Open Source Reverse Engineering Platform powered by rizin
UNIX-like reverse engineering framework and command-line toolset.
Public API, examples, documentation and issues for Binary Ninja
Ghidra is a software reverse engineering (SRE) framework
A ranked list of algorithmic trading open-source libraries, frameworks, bots, tools, books, communities, education materials. Updated weekly.
Identity-Aware Tunneled Reverse Proxy Server with Dashboard UI
Important concepts in numerical linear algebra and related areas
A generic post-processing injector for games and video software.
A fancy, easy-to-use and reactive self-hosted docker compose.yaml stack-oriented manager
Production-grade client-side tracing, profiling, and analysis for complex software systems.
An open source, self-hosted implementation of the Tailscale control server
A scalable overlay networking tool with a focus on performance, simplicity and security
GNU toolchain for RISC-V, including GCC