The Kotlin Programming Language.

Get started using GitHub in less than an hour.

Brave browser for Android, iOS, Linux, macOS, Windows.

Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

Intel SGX for Linux*

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

A simple stateless privacy-protecting URL redirecting service for Matrix

A toolkit for building secure, portable and lean operating systems for containers

dudley-do-right

Custom Context Menu for OpenLayers

🦍 The Cloud-Native Gateway for APIs & AI

🎮 Open-source, cross-platform 2D/3D/multiplayer game engine designed for everyone.

TLA+ specification for the Raft consensus algorithm

svgMap is a JavaScript library that lets you easily create an interactable world map comparing customizable data for each country.

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

Raft一致性算法论文的中文翻译

Streamlit — A faster way to build and share data apps.

Empowering everyone to build reliable and efficient software.

赫蹏（hètí）是专为中文内容展示设计的排版样式增强。它基于通行的中文排版规范而来，可以为网站的读者带来更好的文章阅读体验。

Reflection via DWARF.

jQuery contextMenu plugin & polyfill

Context menu plugin for Twitter's Bootstrap framework

super hacky visualization of Raft

An Erlang implementation of RAFT from WhatsApp

API documentation engine for Kotlin