Walkthrough for cross compiling a mixed C and Go binary for another platform using cgo and Bazel. Example is done with x86_64/Linux compiling for RISC-V/Linux.

Memory Debugger for Windows, Linux, and Mac

CN separation logic refinement type system for C. Contribute to rems-project/cn development by creating an account on GitHub.

Delta Chat is a decentralized and secure messenger app 💬 Reliable instant messaging with multi-profile and multi-device support ⚡️ Sign up to secure fast chatmail servers or use classic e-mail serv...

Operating system

Mat Ryer, principal engineer at Grafana Labs and host of the Go Time podcast, shares what he's learned from more than a dozen years of writing HTTP services in Go.

SQL Police Department is an online game where you solve crimes using SQL (and learn SQL in the process). Learn SQL while playing a game!

Use SQL queries to solve the murder mystery. Suitable for beginners or experienced SQL sleuths.

Cambridge Core - Logic, Categories and Sets - Handbook of Practical Logic and Automated Reasoning