Ranis Safiullin's repositories
abseil-cpp
Abseil Common Libraries (C++)
Adept-2
Combined array and automatic differentiation library in C++
awesome-cli-apps
🖥 📊 🕹 🛠 A curated list of command line apps
awesome-lockfree
A collection of resources on wait-free and lock-free programming
bhi-spectre-bhb
This repository contains exploit and reverse-engineering source code regarding the Spectre-BHB/Branch History Injection vulnerability
bit4
Random experiments in various languages
ck
Concurrency 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 concurrent systems developed in C99+.
COIN-OR-OptimizationSuite
A harness for building the bundled suite of interoperable optimization tools available in the COIN-OR repository.
CompCert
The CompCert formally-verified C compiler
cpplinks
A categorized list of C++ resources.
fastflow
FastFlow pattern-based parallel programming framework (formerly on sourceforge)
fpga-network-stack
Scalable Network Stack for FPGAs (TCP/IP, RoCEv2)
gentooLTO
A Gentoo Portage configuration for building with -O3, Graphite, and LTO optimizations
haruspex
Exploration of x86-64 ISA using speculative execution.
hpctoolkit
HPCToolkit performance tools: measurement and analysis components
hpx
The C++ Standard Library for Parallelism and Concurrency
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
libdivide
Official git repository for libdivide: optimized integer division
libfiu
[mirror] A C library for fault injection
libhv
🔥 比libevent/libuv/asio更易用的网络库。A c/c++ network library for developing TCP/UDP/SSL/HTTP/WebSocket/MQTT client/server.
linux-network-performance-parameters
Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺
linux-xlnx
The official Linux kernel from Xilinx
logic
CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.
OneFile
The world's first wait-free Software Transactional Memory
performance
Collection of documents related to low-latency trading and tunings for performance
xenium
A C++ library providing various concurrent data structures and reclamation schemes.