superboy0712

superboy0712's Stars

• AntidoteDB/crdt-visualizer

  Visualized CRDT executions in a web page to explain their semantics

  Language:TypeScript162

• SanDiegoMachineLearning/bookclub

  Notes and links from the book club meetings

  Language:Jupyter Notebook513107

• epasveer/seer

  Seer - a gui frontend to gdb

  Language:C++3k87

• kokkos/kokkos

  Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction

  Language:C++2k438

• CakeML/cakeml

  CakeML: A Verified Implementation of ML

  Language:Standard ML96985

• bourguet/operator_precedence_parsing

  C89 expressions parsed with the shunting yard algorithm in Python

  Language:Python747

• tdop/tdop.github.io

  Reprinting Vaughan Pratt's Paper on Top Down Operator Precedence Parsing

  Language:HTML11521

• oils-for-unix/oils

  Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!

  Language:Python2.9k159

• chrisdicarlo/vscode-switch-git-worktree

  Easily switch between Git worktrees

  Language:JavaScript91

• pingcap/awesome-database-learning

  A list of learning materials to understand databases internals

  9.5k1.1k

• agency-library/agency

  Execution primitives for C++

  Language:C++15427

• emeryberger/Heap-Layers

  Heap Layers: An Extensible Memory Allocation Infrastructure

  Language:C++38556

• mtrebi/memory-allocators

  Custom memory allocators in C++ to improve the performance of dynamic memory allocation

  Language:C++1.8k160

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.4k1.5k

• microsoft/nni

  An open source AutoML toolkit for automate machine learning lifecycle, including feature engineering, neural architecture search, model compression and hyper-parameter tuning.

  Language:Python14.1k1.8k

• superboy0712/linuxupskillchallenge

  Learn the skills required to sysadmin a remote Linux server from the commandline.

  1

• superboy0712/vscode-debug-visualizer

  An extension for VS Code that visualizes data during debugging.

  1

• goharbor/harbor

  An open source trusted cloud native registry project that stores, signs, and scans content.

  Language:Go24.3k4.8k

• rutchkiwi/copyzshell

  A plugin for oh-my-zsh to copy your shell configuration to another machine over ssh.

  Language:Shell8711

• nickdiego/compiledb

  Tool for generating Clang's JSON Compilation Database files for make-based build systems.

  Language:Python1.4k123

• jomiller/vscode-rtags

  RTags Client for Visual Studio Code

  Language:TypeScript10

• wangziqi2013/BwTree

  An open sourced implementation of Bw-Tree in SQL Server Hekaton

  Language:C++486104

• plantuml/plantuml

  Generate diagrams from textual description

  Language:Java10.6k973

• rse/astq

  Abstract Syntax Tree (AST) Query Engine

  Language:JavaScript20215

• jonatas/fast

  Find in AST - Search and refactor code directly in Abstract Syntax Tree as you do with grep for strings

  Language:Ruby25710

• rigtorp/awesome-modern-cpp

  A collection of resources on modern C++

  Language:HTML12k1.2k

• changkun/modern-cpp-tutorial

  📚 Modern C++ Tutorial: C++11/14/17/20 On the Fly | https://changkun.de/modern-cpp/

  Language:C++24.2k3k

• simdjson/simdjson

  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks

  Language:C++19.4k1k

• miloyip/nativejson-benchmark

  C/C++ JSON parser/generator benchmark

  Language:JavaScript2k262

• microsoft/VFSForGit

  Virtual File System for Git: Enable Git at Enterprise Scale

  Language:C#6k453