-
-
partition_alloc_builder Public
Forked from yuki3/partition_alloc_builderBuild the PartitionAlloc library without checking out Chromium repository.
-
scal Public
Forked from cksystemsgroup/scalHigh-performance multicore-scalable data structures and benchmarks
C++ Other UpdatedOct 24, 2024 -
BBQ Public
The official implementation of the block-based bounded queue (BBQ)
-
autogr Public
Released code for the paper: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics (VLDB'21)
Python MIT License UpdatedMay 17, 2021 -
genmc Public
Forked from MPI-SWS/genmcGeneric model checker for concurrent C programs
C GNU General Public License v3.0 UpdatedDec 6, 2020 -
coq2smt Public
Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SCP'20)
-
sparcv8-coq Public
Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SETTA'17)
-
MetalAcc Public
GPU-based media processing library using Metal written in Swift
-
AImage Public
An animated gif & apng engine for iOS in Swift. Have a great performance on memory and cpu usage.
{{ message }}