jingliu9

jingliu9's Stars

• yhzhang0128/vexriscv-egos

  Language:Python1

• VowpalWabbit/vowpal_wabbit

  Vowpal Wabbit is a machine learning system which pushes the frontier of machine learning with techniques such as online, hashing, allreduce, reductions, learning2search, active, and interactive learning.

  Language:C++8.4k1.9k

• datafuselabs/databend

  𝗗𝗮𝘁𝗮, 𝗔𝗻𝗮𝗹𝘆𝘁𝗶𝗰𝘀 & 𝗔𝗜. Modern alternative to Snowflake. Cost-effective and simple for massive-scale analytics. https://databend.com

  Language:Rust7.4k714

• ossu/computer-science

  :mortar_board: Path to a free self-taught education in Computer Science!

  166k20.9k

• SamGinzburg/VectorVisor

  VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly program in parallel using GPUs

  Language:WebAssembly1403

• facebookincubator/velox

  A C++ vectorized database acceleration library aimed to optimizing query engines and data processing systems.

  Language:C++3.3k1.1k

• cxl-micron-reskit/famfs

  This is the user space repo for famfs, the fabric-attached memory file system

  Language:Roff219

• rapidsai/cudf

  cuDF - GPU DataFrame Library

  Language:C++8k868

• mcinglis/c-style

  My favorite C programming practices.

  1.9k94

• dai-shi/excalidraw-animate

  A tool to animate Excalidraw drawings

  Language:TypeScript1.2k67

• adam-maj/tiny-gpu

  A minimal GPU design in Verilog to learn how GPUs work from the ground up

  Language:SystemVerilog6.6k492

• ConorWilliams/libfork

  A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines

  Language:C++52622

• microsoft/aici

  AICI: Prompts as (Wasm) Programs

  Language:Rust1.8k75

• nipunramk/Reducible

  Repository containing all code for the videos on the Reducible YouTube channel

  Language:Python58177

• hanabi/hanabi.github.io

  A list of Hanabi strategies

  Language:Python164147

• libunwind/libunwind

  libunwind official github repo (in need of new / additional maintainer, mail/open issue if interested)

  Language:C933278

• ianlancetaylor/libbacktrace

  A C library that may be linked into a C/C++ program to produce symbolic backtraces

  Language:C918218

• Granulate/gprofiler

  gProfiler is a system-wide profiler, combining multiple sampling profilers to produce unified visualization of what your CPU is spending time on.

  Language:Python74154

• Granulate/gprofiler-performance-studio

  The local version of the backend and UI for the gProfiler agent, featuring advanced flamegraph analysis tools. For the also free cloud version, please see https://profiler.granulate.io

  Language:JavaScript1655

• asciinema/agg

  asciinema gif generator

  Language:Rust1.1k38

• kevinlin1/just-the-class

  A modern, highly customizable, responsive Jekyll template for course websites.

  Language:SCSS26998

• misc0110/PTEditor

  A small library to modify all page-table levels of all processes from user space for x86_64 and ARMv8.

  Language:C22067

• hwayne/lets-prove-leftpad

  Proving leftpad correct two-dozen different ways

  Language:SystemVerilog62660

• guofei9987/scikit-opt

  Genetic Algorithm, Particle Swarm Optimization, Simulated Annealing, Ant Colony Optimization Algorithm,Immune Algorithm, Artificial Fish Swarm Algorithm, Differential Evolution and TSP(Traveling salesman)

  Language:Python5.1k971

• MPI-SWS/genmc

  Generic model checker for concurrent C programs (mirror repository)

  Language:C++9518

• outline/outline

  The fastest knowledge base for growing teams. Beautiful, realtime collaborative, feature packed, and markdown compatible.

  Language:TypeScript26.1k2.1k

• terryyin/lizard

  A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.

  Language:Python1.8k246

• sched-ext/scx

  sched_ext schedulers and tools

  Language:C68948

• romange/helio

  A modern framework for backend development based on io_uring Linux interface

  Language:C++40946

• Mondego/dafny-synthesis

  Towards AI-Assisted Synthesis of Verified Dafny Methods

  Language:Dafny29