Pinned Loading

1. tps tps Public

   Temporal Pathway Synthesizer

   Scala 16 8

2. tpv tpv Public

   Temporal Pathway Visualizer

   JavaScript 3

3. karme karme Public

   Single-cell data analysis

   Scala 1

4. epfl-lara/ScalaZ3 epfl-lara/ScalaZ3 Public

   DSL in Scala for Constraint Solving with Z3 SMT Solver

   Scala 123 34

5. sbl sbl Public

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

   Scala 3 2

6. funchisq-wrapper funchisq-wrapper Public

   Scala wrapper for FunChisq

   Scala 2