koksal

Ali Sinan Köksal's repositories

tps

Temporal Pathway Synthesizer

Language:ScalaNOASSERTION16 5 3

sbl

Experimental prototype code for "Synthesis of Biological Models from Mutation Experiments" in POPL 2013 (http://koksal.org/papers/KoksalETAL13SynthesisBiologicalModels.pdf)

Language:ScalaNOASSERTION3 2 1

tpv

Temporal Pathway Visualizer

Language:JavaScriptMIT3 20

funchisq-wrapper

Scala wrapper for FunChisq

Language:ScalaNOASSERTION2 30

karme

Single-cell data analysis

Language:Scala1 20

dotfiles

Personal collection of dotfiles

Language:Vim Script020

koksal.github.io

Homepage - https://koksal.org/

Language:CSSMIT020

ScalaZ3

Binders and more to the Z3 SMT solver for Scala

Language:Scala020

studies-on-sound

Language:Clojure020