A declarative programming framework - View it on GitHub