wangjwchn

wangjwchn's Stars

• wangjwchn/BBQ

  The official implementation of the block-based bounded queue (BBQ)

  Language:C++21

• BingLingGroup/autosub

  Command-line utility to transcribe/translate from video/audio/subtitles to subtitles

  Language:Python2k245

• pages-themes/minimal

  Minimal is a Jekyll theme for GitHub Pages

  Language:SCSS1.6k6k

• eembc/coremark

  CoreMark® is an industry-standard benchmark that measures the performance of central processing units (CPU) and embedded microcrontrollers (MCU).

  Language:C950319

• gperftools/gperftools

  Main gperftools repository

  Language:C++8.4k1.5k

• riusksk/secbook

  信息安全从业者书单推荐

  3.1k460

• timsutton/brigadier

  Fetch and install Boot Camp ESDs with ease.

  Language:Python2.1k199

• tcwangshiqi-columbia/Neurify

  The released code of Neurify in NIPS 2018

  Language:C4619

• deeplang-org/deeplang

  Deeplang is a new language for IoT device programming.

  7916

• JIghtuse/transactional-memory-resources

  List of resources on transactional memory technology

  111

• pramalhe/CX

  A Wait-Free Universal Construct for Large Objects

  Language:C++953

• wcventure/ConcurrencyPaper

  Concurrency Paper

  8912

• mc-imperial/gpuverify

  GPUVerify: a Verifier for GPU Kernels

  Language:C#5815

• ajwijs/GPUexplore

  GPU model checker

  Language:Cuda113

• MPI-SWS/genmc

  Generic model checker for concurrent C programs (mirror repository)

  Language:C++10517

• LPD-EPFL/ASCYLIB

  ASCYLIB (with OPTIK) is a concurrent-search data-structure library with over 40 implementantions of linked lists, hash tables, skip lists, binary search trees, queues, and stacks.

  Language:C17542

• nicknash/RelaSharp

  Model-checker for lock and wait free C# code

  Language:C#77

• rusnikola/lfqueue

  A Scalable, Portable, and Memory-Efficient Lock-Free FIFO Queue (DISC '19)

  Language:C535

• chaoran/fast-wait-free-queue

  A benchmark framework for concurrent queue implementations

  Language:C28248

• nkallima/sim-universal-construction

  An open-source framework for concurrent data-structures and benchmarks.

  Language:C649

• multicore-locks/litl

  LiTL: Library for Transparent Lock Interposition

  Language:C7521

• netty/netty

  Netty project - an event-driven asynchronous network application framework

  Language:Java33.3k15.9k

• pandaworrior/RedBlue_consistency

  code for redblue consistency

  Language:Java92

• formal-land/coq-of-ocaml

  Formal verification for OCaml

  Language:OCaml25320

• coq-io/io

  A library for effects in Coq.

  Language:Coq644

• coq-concurrency/pluto

  A web server written in Coq.

  Language:Coq861

• coq-community/chapar

  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

  Language:Coq327

• uwplse/ferrite

  Ferrite, a toolkit for developing file system crash-consistency models

  Language:Racket173

• PrincetonUniversity/VST

  Verified Software Toolchain

  Language:Coq43692

• mit-pdos/fscq

  FSCQ is a certified file system written and proven in Coq

  Language:Coq23421