Pinned Repositories
3d
3d stuff
asset_price_correlations
Visualising correlations between different ETFs using network analytics and Plotly
Boost-Btree
Proposed B-tree library for Boost.org
Boost-Call_stack
Call stack utilities library
Boost-Pretty-Printer
GDB Pretty Printers for Boost
CDSChecker
C++11 memory model checker
cdschecker2
CDSChecker Model Checker for C++11 Atomics
lpt-tools
Various programming/debugging tools and scripts
melintea.github.io
Main blog
upml
Formal verification of UML state machines with Promela and TLA+/PlusCal
melintea's Repositories
melintea/Boost-Call_stack
Call stack utilities library
melintea/upml
Formal verification of UML state machines with Promela and TLA+/PlusCal
melintea/3d
3d stuff
melintea/asset_price_correlations
Visualising correlations between different ETFs using network analytics and Plotly
melintea/Boost-Btree
Proposed B-tree library for Boost.org
melintea/Boost-Pretty-Printer
GDB Pretty Printers for Boost
melintea/CDSChecker
C++11 memory model checker
melintea/cdschecker2
CDSChecker Model Checker for C++11 Atomics
melintea/lpt-tools
Various programming/debugging tools and scripts
melintea/melintea.github.io
Main blog
melintea/papi
melintea/scrapbox
Test ground
melintea/setup-tools
Setup, configuration and varia