Pinned Repositories
aeron
Efficient reliable UDP unicast, UDP multicast, and IPC message transport
awesome-hpp
A curated list of awesome header-only C++ libraries
cpp_starter_project
CppTrader
High performance components for building Trading Platform such as ultra fast matching engine, order book processor
Dafny-programs
Examples of formal verifications written in Dafny.
fix-simple-binary-encoding
A FIX standard for binary message encoding
FMSE-2022-2023
A repository containing all the laboratories developed for the Formal Methods in Software Engineering Course, part of the Master's Degree in Software Engineering.
indiosmo's Repositories
indiosmo/aeron
Efficient reliable UDP unicast, UDP multicast, and IPC message transport
indiosmo/awesome-hpp
A curated list of awesome header-only C++ libraries
indiosmo/cpp_starter_project
indiosmo/CppTrader
High performance components for building Trading Platform such as ultra fast matching engine, order book processor
indiosmo/Dafny-programs
Examples of formal verifications written in Dafny.
indiosmo/fix-simple-binary-encoding
A FIX standard for binary message encoding
indiosmo/FMSE-2022-2023
A repository containing all the laboratories developed for the Formal Methods in Software Engineering Course, part of the Master's Degree in Software Engineering.
indiosmo/hftbacktest
A high-frequency trading and market-making backtesting tool in Python and Rust, which accounts for limit orders, queue positions, and latencies, utilizing full tick data for trades and order books, with real-world crypto market-making examples for Binance Futures
indiosmo/leaf
Lightweight Error Augmentation Framework
indiosmo/librdkafka
The Apache Kafka C/C++ library
indiosmo/QJsonModel
Qt Json Tree Model
indiosmo/qtasio
Implementation of QAbstractEventDispatcher that makes use of existing boost::asio::io_service object. It effecitvely allows to integrate asio-based asynchronous application with QT and run them in one thread.
indiosmo/linux-network-performance-parameters
Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺
indiosmo/unordered_flat_repro