Tricks you wish the Coq manual told you [maintainer=@tchajed]

JuliaMono is a monospaced font for scientific and technical users, with comprehensive Unicode support.

Qt编写的一些开源的demo，预计会有100多个，一直持续更新完善，代码简洁易懂注释详细，每个都是独立项目，非常适合初学者，代码随意传播使用，拒绝打赏和捐赠，欢迎留言评论！公众号：Qt实战/Qt入门和进阶/Qt教程

Mathematical Components

The automation tower defense RTS

Linux 平台下基于 Rust + GTK 开发的网易云音乐播放器

Multiplayer top-down shooter made from scratch in C++. Web version: https://play.hypersomnia.io Made in 🇵🇱

Universal socket library for Common Lisp

Record and Replay Framework

rtl8812AU_8821AU linux kernel driver for AC1200 (801.11ac) Wireless Dual-Band USB Adapter

C++ wrapper for SDL2

Linux namespaces and seccomp-bpf sandbox

Beautiful pseudocode for the Web

Cross-platform, efficient, customizable, and robust asynchronous HTTP(S)/WebSocket server C++ library with the right balance between performance and ease of use

A fast multi-producer, multi-consumer lock-free concurrent queue for C++11

Web-based music player for the cloud ☁️ 🎶 Play music from YouTube, Dropbox, etc.

A screencast tool to display your keys inspired by Screenflick

Zsh 开发指南

「漢字標準格式」印刷品般的漢字排版框架 Han.css: the CSS typography framework optimised for Hanzi.

SDL-based reimplementation of the classic Chinese-language RPG known as PAL.

Font Awesome split to individual SVG and PNG files of different sizes along with Node.JS based generator

a compile-time, header-only, dimensional analysis and unit conversion library built on c++14 with no dependencies.

Functional Programming Library for C++. Write concise and readable C++ code.

Dockerized skype with voice and video call support

Common Lisp in the 21st Century.

Persists tmux environment across system restarts.

Fork of http://code.google.com/p/win-sshfs/