Documents for Information Theory used in Master of Logic course Information Theory at the UvA

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.

✨ Magical shell history

Sunshine fork - The easiest way to stream with the native resolution of your client device

A SAT solver using the DPLL algorithm.

A curated list of awesome resources and tools for game level design.

A new AList Fork to Anti Trust Crisis

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

HandBrake's development repository

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.

OpenHD

A Kernel based root solution for Android

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

solar charging ☀️🚘