Bulhwi Cha's starred repositories
ungoogled-chromium
Google Chromium, sans integration with Google
pragmatapro
PragmataPro font is designed to help pros to work better
polyscope.lean
A polyscope (https://polyscope.run/) like interface for Lean, built on Proofwidgets4
mathlib4-tactics
List of the all tactics of mathlib4. This is heavily inspired by haruhisa-enomoto/mathlib4-all-tactics
libdatachannel
C/C++ WebRTC network library featuring Data Channels, Media Transport, and WebSockets
websocketpp
C++ websocket client/server library
libwebsockets
canonical libwebsockets.org networking library
qrcodegen-cmake
CMake build scripts for the QR-Code-generator library
QR-Code-generator
High-quality QR Code generator library in Java, TypeScript/JavaScript, Python, Rust, C++, C.