danielkocher's Stars
fffaraz/awesome-cpp
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
carbon-language/carbon-lang
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Boolector/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
tonsky/FiraCode
Free monospaced font with programming ligatures
chribell/gpgpu_ssjoin_eval
kimwalisch/libpopcnt
🚀 Fast C/C++ bit population count library
nlohmann/json
JSON for Modern C++
DataManagementLab/rdma-manager
tlx/tlx
TLX - A Collection of Sophisticated C++ Data Structures, Algorithms, and Miscellaneous Helpers
TsinghuaDatabaseGroup/Dima
simialrity join or search on spark core directly
NUKnightLab/sql-mysteries
Inspired by @veltman's command-line mystery, use SQL to research clues and find out whodunit!
cjbarber/ToolsOfTheTrade
Tools of The Trade, from Hacker News.
timqian/chart.xkcd
xkcd styled chart lib
igushev/IgushArray
RomuloOliveira/commit-messages-guide
A guide to understand the importance of commit messages and how to write them well
cool-RR/PySnooper
Never use print for debugging again
shafik/cpp_youtube_channels
Listing of C++ Youtube channels for conferences and user groups
vlang/v
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
jgthms/bulma
Modern CSS framework based on Flexbox
aitjcize/cppman
C++ 98/11/14 manual pages for Linux/MacOS
go-gitea/gitea
Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD
dinedal/textql
Execute SQL against structured text like CSV or TSV
cmu-db/peloton
The Self-Driving Database Management System
apavlo/h-store
H-Store Distributed Main Memory OLTP Database System
jmdugan/blocklists
Shared lists of problem domains people may want to block with hosts files
ingve/awesome-clang
Useful resources and samples for using Clang-related tools, or for building stuff on top of Clang.
jarulraj/databaseology
Collection of Papers On Database Management Systems
matze/mtheme
A modern LaTeX Beamer theme
daqana/tikzDevice
A R package for producing graphics output as PGF/TikZ code for use in TeX documents.
antlr/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.