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 - Logic, Categories and Sets - Handbook of Practical Logic and Automated Reasoning

Curated toplist of everything Otaku culture. Up to date reviews of best anime/manga websites and apps with detailed pros, and cons for each.

An open-source AI agent that brings the power of Gemini directly into your terminal. - google-gemini/gemini-cli

awesome-linux-rootkits. Contribute to milabs/awesome-linux-rootkits development by creating an account on GitHub.