Build cross-platform desktop apps with JavaScript, HTML, and CSS

LLM inference in C/C++

GoogleTest - Google Testing and Mocking Framework

📚 C/C++ 技术面试基础知识总结，包括语言、程序库、数据结构、算法、系统、网络、链接装载库等知识及面试经验、招聘、内推等信息。This repository is a summary of the basic knowledge of recruiting job seekers and beginners in the direction of C/C++ technology, in…

SRS is a simple, high-efficiency, real-time media server supporting RTMP, WebRTC, HLS, HTTP-FLV, HTTP-TS, SRT, MPEG-DASH, and GB28181, with codec support for H.264, H.265, AV1, VP9, AAC, Opus, and …

Share a single keyboard and mouse between multiple computers.

Background Music, a macOS audio utility: automatically pause your music, set individual apps' volumes and record system audio.

Open-source simulator for autonomous driving research.

The Z3 Theorem Prover

The Fastest Distributed Database for Transactional, Analytical, and AI Workloads.

🎤⌨️ Acoustic keyboard eavesdropping

High-speed Large Language Model Serving for Local Deployment

💯 CSPostgraduate 计算机考研 408 专业课资料及真题资源

Modern VNC Server and client, web based and secure

Yosys Open SYnthesis Suite

KLEE Symbolic Execution Engine

RTSP Server for V4L2 device capture supporting HEVC/H264/JPEG/VP8/VP9

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server

nextpnr portable FPGA place and route tool

A minimalistic and high-performance SAT solver

C Bounded Model Checker

lib, demo, model, data

An MLIR-based compiler framework bridges DSLs (domain-specific languages) to DSAs (domain-specific architectures).

CaDiCaL SAT Solver

An open-source EDA infrastructure and tools from netlist to GDS

Small, lightweight C++ library for handling OpenDRIVE files

Instruction Set Generator initially contributed by Futurewei

ACM/ICPC

Geometry based point cloud compression (G-PCC) Test Model (encoder and decoder)

RISC-V RV64GC emulator designed for RTL co-simulation