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.

Upload an image, and this app will transform it into a 3D model. You can customize the process with settings like resolution and simplification. The result is a downloadable 3D file.

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 - Programming Languages and Applied Logic - Handbook of Practical Logic and Automated Reasoning