Skip to content
#

dtmc

Star

Here are 5 public repositories matching this topic...

Language: All
Filter by language
All 5 C++ 2 Brainfuck 1 Python 1 R 1
storm

moves-rwth / storm

Star 71
Open

Change sparsepp to parallel hashmap. And use it.

tquatmann
tquatmann commented Oct 28, 2021

Sparsepp triggers a warning:

/Users/tim/storm/build-debug/include/resources/3rdparty/sparsepp/sparsepp/spp.h:942:33: warning: definition of implicit copy constructor for 'Two_d_destructive_iterator<std::__1::pair<const DdNode *const, bool>, spp::sparsegroup<std::__1::pair<const DdNode *const, bool>, spp::libc_allocator<std::__1::pair<const DdNode *const, bool>>> *, std::__1::pair<const DdNod
Read more
source code enhancement good first issue
Find more good first issues

danieljsharpe / DISCOTRESS

Star 18

🦜 DISCOTRESS 🦜 is a software package to simulate and analyse the dynamics on arbitrary Markov chains

markov-model simulation markov-chain kinetic-monte-carlo markov-chains stochastic-processes stochastic-simulation-algorithm markov-process random-walk ctmc enhanced-sampling stochastic-simulation dtmc network-dynamics rare-events k-shortest-paths markovian-dynamics continuous-time-markov-chain simulation-algorithms
  • Updated Jul 29, 2021
  • C++

danieljsharpe / DISCOTRESS_tutorials

Star 2

Learn to get started using DISCOTRESS with these tutorials! Then apply to your own Markov chains in ecology 🦜🌴 economics 💸📈 biophysics 🧬🦠 and more!

markov-model simulation markov-chain tutorials kinetic-monte-carlo markov-decision-processes stochastic-simulation-algorithm markov-process random-walk ctmc discrete-event-simulation stochastic-simulation dtmc network-dynamics rare-events markovian-dynamics markov-decision-process stochastic-dynamics
  • Updated Sep 12, 2021
  • Brainfuck

Improve this page

Add a description, image, and links to the dtmc topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the dtmc topic, visit your repo's landing page and select "manage topics."

Learn more