danielkocher

danielkocher's Stars

• fffaraz/awesome-cpp

  A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

  58.5k7.8k

• carbon-language/carbon-lang

  Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

  Language:C++32.3k1.5k

• Boolector/boolector

  A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

  Language:SMT33262

• tonsky/FiraCode

  Free monospaced font with programming ligatures

  Language:Clojure76.6k3.1k

• chribell/gpgpu_ssjoin_eval

  Language:Cuda51

• kimwalisch/libpopcnt

  🚀 Fast C/C++ bit population count library

  Language:C31838

• nlohmann/json

  JSON for Modern C++

  Language:C++42.1k6.6k

• DataManagementLab/rdma-manager

  Language:C++74

• tlx/tlx

  TLX - A Collection of Sophisticated C++ Data Structures, Algorithms, and Miscellaneous Helpers

  Language:C++39470

• TsinghuaDatabaseGroup/Dima

  simialrity join or search on spark core directly

  Language:Scala255

• NUKnightLab/sql-mysteries

  Inspired by @veltman's command-line mystery, use SQL to research clues and find out whodunit!

  Language:JavaScript1.7k218

• cjbarber/ToolsOfTheTrade

  Tools of The Trade, from Hacker News.

  16.5k1.3k

• timqian/chart.xkcd

  xkcd styled chart lib

  Language:JavaScript7.6k200

• igushev/IgushArray

  Language:C++33411

• RomuloOliveira/commit-messages-guide

  A guide to understand the importance of commit messages and how to write them well

  6.7k338

• cool-RR/PySnooper

  Never use print for debugging again

  Language:Python16.3k950

• shafik/cpp_youtube_channels

  Listing of C++ Youtube channels for conferences and user groups

  26122

• 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

  Language:V35.6k2.1k

• jgthms/bulma

  Modern CSS framework based on Flexbox

  Language:CSS49.1k3.9k

• aitjcize/cppman

  C++ 98/11/14 manual pages for Linux/MacOS

  Language:Python1.3k81

• 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

  Language:Go44k5.4k

• dinedal/textql

  Execute SQL against structured text like CSV or TSV

  Language:Go9.1k299

• cmu-db/peloton

  The Self-Driving Database Management System

  Language:C++2k623

• apavlo/h-store

  H-Store Distributed Main Memory OLTP Database System

  Language:Java563177

• jmdugan/blocklists

  Shared lists of problem domains people may want to block with hosts files

  Language:DIGITAL Command Language4.5k343

• ingve/awesome-clang

  Useful resources and samples for using Clang-related tools, or for building stuff on top of Clang.

  22217

• jarulraj/databaseology

  Collection of Papers On Database Management Systems

  21334

• matze/mtheme

  A modern LaTeX Beamer theme

  Language:TeX6.4k839

• daqana/tikzDevice

  A R package for producing graphics output as PGF/TikZ code for use in TeX documents.

  Language:R13226

• antlr/grammars-v4

  Grammars written for ANTLR v4; expectation that the grammars are free of actions.

  Language:ANTLR10.1k3.7k