Cyclone is no longer active last time I checked. Or is it?<p>What other safe C subsets&#x2F;variants are out there which are actively being worked on?<p>Cyclone and bit-c interested me greatly so pointers would be appreciated.