Skip to content


  • Arctic Code Vault Contributor


  1. Temporal Pathway Synthesizer

    Scala 11 7

  2. Temporal Pathway Visualizer

    JavaScript 2

  3. Single-cell data analysis


  4. DSL in Scala for Constraint Solving with Z3 SMT Solver

    Scala 99 32

  5. Experimental prototype code for "Synthesis of Biological Models from Mutation Experiments" in POPL 2013 (

    Scala 1 2

  6. Scala wrapper for FunChisq

    Scala 2

7 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

August - October 2020

koksal has no activity yet for this period.

July 2020

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.