melintea

Pinned Repositories

3d
3d stuff
00
asset_price_correlations
Visualising correlations between different ETFs using network analytics and Plotly
Language:HTML0 1 00
Boost-Btree
Proposed B-tree library for Boost.org
Language:C++0 3 00
Boost-Call_stack
Call stack utilities library
Language:C++42
Boost-Pretty-Printer
GDB Pretty Printers for Boost
Language:Python0 3 00
CDSChecker
C++11 memory model checker
Language:C++0 1 00
cdschecker2
CDSChecker Model Checker for C++11 Atomics
Language:C++00
lpt-tools
Various programming/debugging tools and scripts
Language:C++0 2 00
melintea.github.io
Main blog
Language:SCSS0 1 00
upml
Formal verification of UML state machines with Promela and TLA+/PlusCal
Language:TLA3 2 00

melintea's Repositories

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