Software of Ozan Kahramanoğulları

• FluxPath
• Gener: DNA strand displacement tool
• interana: interactive Prover for Multiplicative Linear Logic
• PIM: Programming Interface for Modelling
• LIME: Language Interface for Modelling Ecology
• Deep Inference in Maude: MLL and MELL
• Deep Inference - System BV in Java