Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
OCaml JavaScript Python Matlab Standard ML Makefile Other
Latest commit 8e228ae Dec 15, 2017 @feret feret test suite
Failed to load latest commit information.
Error Only signature knows the name of the counter agent Nov 6, 2017
KaSa_rep restore (breakable) space after agent separators Dec 15, 2017
agents Fix --log Nov 9, 2017
api perturbation -> intervention Dec 3, 2017
cflow Fix #473: Stories in html Dec 1, 2017
dataStructures bugfix: for natural numbers representable in float but not in ints, s… Dec 8, 2017
dev making KaSa tables of symbol available Dec 14, 2017
docs Add files via upload Jul 12, 2016
grammar KaDe: making print_chemical_species dependent of the choice of the sy… Dec 14, 2017
ide csv export in UI Jan 6, 2017
js Online UI is full page too Dec 5, 2017
main Restore interactive commands in CLI Dec 6, 2017
man revert changes make by mistake in "small mistake in english" Dec 4, 2017
models test suite Dec 15, 2017
odes restore (breakable) space after agent separators Dec 15, 2017
python Refactor kappy README Dec 4, 2017
shared decent influence map rendering Oct 4, 2017
simulation maybe fixed sos model Dec 6, 2017
siteGraphs convert scc to json and json to scc type Nov 15, 2017
term KaDe: making print_chemical_species dependent of the choice of the sy… Dec 14, 2017
util repairing KaDe GUI Nov 12, 2017
webapp perturbation -> intervention Dec 3, 2017
.gitattributes KappaLib Jan 9, 2017
.gitignore Fix gitignore Nov 8, 2017
.merlin update .merlin Mar 22, 2017
.project [max] and [min] functions Nov 15, 2013
.travis.yml Switch WebSim to Cohttp.1.0.0 Nov 23, 2017
AUTHORS More on AUTHORS Dec 5, 2016 perturbation -> intervention Dec 3, 2017
KaSim.install opam install agents Jun 1, 2017
KappaLib.mllib forgotten signature printer + refresh debugger Nov 2, 2017
LGPL-LICENSE KaSim first release Oct 24, 2010
META.skel KappaLib Jan 9, 2017
Makefile avoid datastructure/loggers -> KaSa_rep/backend/binding_type dependency Nov 24, 2017 nothing Jan 25, 2017
_tags Result is mandatory Oct 26, 2017 Fix corruption Nov 23, 2017 cmx are mandatory to be installed too Jan 10, 2017
opam num package is out of OCaml >= 4.06 Dec 4, 2017 Flag release candidate Dec 4, 2017

KaSim logo


Join the chat at

KaSim is a stochastic simulator for rule-based models written in Kappa. KaSa is a static analyser for Kappa models.

User manual

The reference manual is available online in pdf and html;

The latex sources are available in the man/ directory. To compile the manuel, in addition of a decent LaTeX distribution you need gnuplot and graphviz to generate images (make sure that dot is in the PATH of your OS). To generate the pdf of the manuel type

make doc


To compile KaSim, you need the OCaml native compiler version 4.02.3 or above as well as ocamlbuild, findlib and Yojson library. To check whether you have them, type

ocamlfind ocamlopt -version

ocamlfind query yojson

If you use a package manager (or opam, the OCaml package manager), OCaml compilers, ocamlbuild and findlib are really likely provided by it. Else, OCaml native compilers can be downloaded on INRIA's website. The Windows bundle contains ocamlbuild and findlib. Findlib sources are available on Ocamlbuild is on github.

If you don't have any easier way to install it (opam, apt, rpm, cygwin, ...), Yojson sources are available here (Note that you'll need to compile and install also its dependencies (cppo, easy-format, biniou) from the same website).

To create binaries, simply type

make all

This should produce KaSim binaries. Ask for a data file in svg format (by giving a name ending in .svg) or you will need your own plotting program (like gnuplot) to visualize curves.


In order to run a simulation for 100 time units printing observables values every 0.5 time unit, type

bin/KaSim kappa_file_1 ... kappa_file_n -l 100 -p 0.5 -o data_file

This will produce a data file of 200 point containing the trajectory that was produced during the simulation.


bin/KaSim --help

for a complete list of options.