-
-
cpplinks Public
Forked from MattPD/cpplinksA categorized list of C++ resources.
UpdatedJul 23, 2024 -
linux-network-performance-parameters Public
Forked from leandromoreira/linux-network-performance-parametersLearn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺
BSD 3-Clause "New" or "Revised" License UpdatedSep 26, 2023 -
bhi-spectre-bhb Public
Forked from vusec/bhi-spectre-bhbThis repository contains exploit and reverse-engineering source code regarding the Spectre-BHB/Branch History Injection vulnerability
C Apache License 2.0 UpdatedMar 3, 2022 -
-
libfiu Public
Forked from paboldin/libfiu[mirror] A C library for fault injection
C Other UpdatedDec 15, 2021 -
gentooLTO Public
Forked from InBetweenNames/gentooLTOA Gentoo Portage configuration for building with -O3, Graphite, and LTO optimizations
Shell GNU General Public License v2.0 UpdatedNov 5, 2021 -
haruspex Public
Forked from can1357/haruspexExploration of x86-64 ISA using speculative execution.
C++ GNU General Public License v3.0 UpdatedApr 30, 2021 -
e3 Public
Forked from momalab/e3E3: Encrypt-Everything-Everywhere framework for compiling C++ programs with encrypted operands.
-
xenium Public
Forked from mpoeter/xeniumA C++ library providing various concurrent data structures and reclamation schemes.
C++ MIT License UpdatedJan 31, 2021 -
fastflow Public
Forked from fastflow/fastflowFastFlow pattern-based parallel programming framework (formerly on sourceforge)
C++ GNU Lesser General Public License v3.0 UpdatedSep 23, 2020 -
Adept-2 Public
Forked from rjhogan/Adept-2Combined array and automatic differentiation library in C++
C++ Apache License 2.0 UpdatedAug 23, 2020 -
performance Public
Forked from alexkachanov/performanceCollection of documents related to low-latency trading and tunings for performance
UpdatedJul 20, 2020 -
Limago Public
Forked from hpcn-uam/LimagoLimago: an FPGA-based Open-source 100 GbE TCP/IP Stack
-
COIN-OR-OptimizationSuite Public
Forked from coin-or/COIN-OR-OptimizationSuiteA harness for building the bundled suite of interoperable optimization tools available in the COIN-OR repository.
Shell UpdatedMay 29, 2020 -
InteractionTrees Public
Forked from DeepSpec/InteractionTreesA Library for Representing Recursive and Impure Programs in Coq
Coq MIT License UpdatedMay 3, 2020 -
hpctoolkit Public
Forked from HPCToolkit/hpctoolkitHPCToolkit performance tools: measurement and analysis components
C++ UpdatedApr 30, 2020 -
bit4 Public
Forked from snsinfu/bit4Random experiments in various languages
C++ UpdatedMar 24, 2020 -
fpga-network-stack Public
Forked from fpgasystems/fpga-network-stackScalable Network Stack for FPGAs (TCP/IP, RoCEv2)
C++ BSD 3-Clause "New" or "Revised" License UpdatedMar 5, 2020 -
linux-xlnx Public
Forked from Xilinx/linux-xlnxThe official Linux kernel from Xilinx
C Other UpdatedMar 4, 2020 -
ck Public
Forked from concurrencykit/ckConcurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance conc…
C Other UpdatedMar 3, 2020 -
libdivide Public
Forked from ridiculousfish/libdivideOfficial git repository for libdivide: optimized integer division
C++ Other UpdatedMar 1, 2020 -
OneFile Public
Forked from pramalhe/OneFileThe world's first wait-free Software Transactional Memory
C++ Other UpdatedFeb 21, 2020 -
awesome-lockfree Public
Forked from rigtorp/awesome-lockfreeA collection of resources on wait-free and lock-free programming
UpdatedFeb 8, 2020 -
awesome-cli-apps Public
Forked from agarrharr/awesome-cli-apps🖥 📊 🕹 🛠 A curated list of command line apps
UpdatedFeb 4, 2020 -
hpx Public
Forked from STEllAR-GROUP/hpxThe C++ Standard Library for Parallelism and Concurrency
C++ Other UpdatedDec 26, 2019 -
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
Coq Other UpdatedDec 13, 2019 -
abseil-cpp Public
Forked from abseil/abseil-cppAbseil Common Libraries (C++)
C++ Apache License 2.0 UpdatedDec 12, 2019 -
logic Public
Forked from tymonx/logicCMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.
SystemVerilog Apache License 2.0 UpdatedNov 25, 2019 -