A collection of demonstrations on envelopes in GeoGebra. You need at least GeoGebra 5.0.233.0 to view most of these examples.
All envelopes are computed by using real-time heavy computations with Gröbner bases. This means that the objects are draggable and the envelopes are always recomputed.