luckyhlin's Stars
torvalds/linux
Linux kernel source tree
neovim/neovim
Vim-fork focused on extensibility and usability
BurntSushi/ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
isocpp/CppCoreGuidelines
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
google/googletest
GoogleTest - Google Testing and Mocking Framework
NvChad/NvChad
Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.
fmtlib/fmt
A modern formatting library
iovisor/bcc
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
tree-sitter/tree-sitter
An incremental parsing system for programming tools
catchorg/Catch2
A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)
HigherOrderCO/Bend
A massively parallel, high-level programming language
overleaf/overleaf
A web-based collaborative LaTeX editor
microsoft/mimalloc
mimalloc is a compact general purpose allocator with excellent performance.
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
numba/numba
NumPy aware dynamic Python compiler using LLVM
bpftrace/bpftrace
High-level tracing language for Linux
jbeder/yaml-cpp
A YAML parser and emitter in C++
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Rust-for-Linux/linux
Adding support for the Rust language to the Linux kernel.
rafamadriz/friendly-snippets
Set of preconfigured snippets for different languages.
nickdiego/compiledb
Tool for generating Clang's JSON Compilation Database files for make-based build systems.
overleaf/toolkit
PyHDI/Pyverilog
Python-based Hardware Design Processing Toolkit for Verilog HDL
MikePopoloski/slang
SystemVerilog compiler and language services
mosra/m.css
A no-nonsense, no-JavaScript CSS framework, site and documentation theme for content-oriented websites
vbpf/ebpf-verifier
eBPF verifier based on abstract interpretation
cucumber/cucumber-cpp
Support for writing Cucumber step definitions in C++
GorvGoyl/Personal-Site-Gourav.io
My personal site & blog made with NextJS, Typescript, Tailwind CSS, MDX, Notion as CMS. Deployed on Vercel : https://gourav.io
argonne-lcf/dlio_benchmark
An I/O benchmark for deep Learning applications
MikePopoloski/pyslang
Python bindings for slang, a library for compiling SystemVerilog