Alternatives and similar repositories for kappa

Users that are interested in kappa are comparing it to the libraries listed below

• Kappa-Dev / KappaTools
  Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
  ☆123Updated this week
• pveber / bistro
  A library to build and execute typed scientific workflows
  ☆48Updated 3 months ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 14 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 6 years ago
• amnh / poy5
  Phylogenetic Application written in OCaml and C
  ☆19Updated 6 years ago
• PapenfussLab / bioshake
  Bioinformatics pipelines with Haskell and Shake
  ☆58Updated 6 years ago
• biocaml / biocaml
  OCaml Bioinformatics Library
  ☆124Updated 2 months ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆59Updated 11 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 6 years ago
• prologbyexample / code
  ☆31Updated 2 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆79Updated 4 months ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 3 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆33Updated 7 years ago
• xu-hao / QueryArrow
  A semantically unified SQL and NoSQL query and update system
  ☆18Updated 7 years ago
• mozart / mozart
  ☆81Updated 7 years ago
• mmottl / gpr
  Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
  ☆47Updated 2 months ago
• rewriting / tom
  ☆34Updated 5 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 12 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 11 years ago
• superbobry / pareto
  GSL powered OCaml statistics library
  ☆40Updated 6 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆16Updated 11 years ago
• BioHaskell / hPDB
  PDB parser in Haskell
  ☆21Updated 2 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 6 years ago
• bendmorris / scotch
  The Scotch programming language
  ☆44Updated 13 years ago