This repo is archived. Pulse is now merged into F* and is included in the F* binary releases at FStarLang/FStar and in the nightly builds at FStarLang/FStar-nightly.
This repository contains nightly builds of Pulse in the releases page. Each builds includes a working F*, the packages should be standalone. A tag (and release) is pushed every night.