Lists (15)
Sort Name ascending (A-Z)
- All languages
- Assembly
- BibTeX Style
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Cuda
- Dafny
- Dart
- Dockerfile
- FIRRTL
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- MoonBit
- OCaml
- Objective-C
- PHP
- Python
- Ruby
- Rust
- SCSS
- SMT
- SVG
- SWIG
- Sail
- Scala
- Shell
- Slash
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Typst
- VHDL
- Verilog
- Vue
Starred repositories
Build cross-platform desktop apps with JavaScript, HTML, and CSS
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 Fastest Distributed Database for Transactional, Analytical, and AI Workloads.
High-speed Large Language Model Serving for Local Deployment
💯 CSPostgraduate 计算机考研 408 专业课资料及真题资源
Modern VNC Server and client, web based and secure
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
A minimalistic and high-performance SAT solver
An MLIR-based compiler framework bridges DSLs (domain-specific languages) to DSAs (domain-specific architectures).
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
Geometry based point cloud compression (G-PCC) Test Model (encoder and decoder)
RISC-V RV64GC emulator designed for RTL co-simulation