A Modern Probabilistic Model Checker
-
Updated
Jun 13, 2024 - C++
A Modern Probabilistic Model Checker
Network diffusion algorithms in R.
Implementation of markov chains in Cpp
🦜 DISCOTRESS 🦜 is a software package to simulate and analyse the dynamics on arbitrary Markov chains
Stochastic Model-checking Analyzer for Reliability and Timing
Bring your wordlists back to life with Wordlist Zombie! Wordlist Zombie uses Markov Chains, and Consonant / Vowel maps to generate wordlists.
Markov chain based procedural name generator for Godot using GDNative.
Markov Model libraries, optimized for cracking-focused password generations.
STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
Discretize VAR(1) of arbitrary size, with arbitrary covariance matrix for innovations, and optional stochastic volatility.
Provides a Markov chain structure to be incorporated into other projects. Can compile a visual representaton of the chain.
Library for computing eigenvectors of large sparse matrices using ARPACK and SuiteSparse
Generates nonsense statistically similar to an input corpus
Parallel Metropolis-Hastings Markov chain Monte Carlo toolkit
Advance algorithm implementations
This program calculates the photon internal statistics of a two-band 'semiconductor-like' markovian multimode laser with multiple emitters using the Monte-Carlo method. Documentation is available here :
IMCA is a command-line tool for analysing Markov automata
This code defines a transition matrix with 3 states and uses the Jacobi method to calculate the stationary distribution of the Markov chain. The method uses an initial guess of the stationary distribution vector, and iterates over the equation until the error is smaller than a certain threshold. The result is stored in the pi array and the final ..
Stochastic simulator of mitochondria represented as a dynamic spaceless graph
Add a description, image, and links to the markov-chain topic page so that developers can more easily learn about it.
To associate your repository with the markov-chain topic, visit your repo's landing page and select "manage topics."