Code
See more on my GitHub page

StructuralIdentifiability.jl: Julia package for assessing structural identifiability, code on github

CLUE: software for exact model reduction for ODE models via constrained linear lumping
Based on the paper CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations, code on github 
SIAN: software for structural identifiability analysis of ODE models, code on github
Based on the paper Global identifiability of differential models, a less technical description is here. 
Proofofconcept implementation of algorithms for elimination of unknowns for differentialalgebraic equations based on the paper Bounds for elimination of unknowns in systems of differentialalgebraic equations, code on github.

Proofofconcept implementation of an algorithm for elimination of unknowns for difference equations based on the paper Effective difference elimination and Nullstellensatz, code on github.

Sage/C code for computing the free energy of the monomerdimer model, based on the paper Power series expansions for the planar monomerdimer problem, code on github