#Ivy

NG-ZORRO

ng-zorro-antd

Angular UI Component Library based on Ant Design

DevCloudFE

ng-devui

Angular UI Component Library based on DevUI Design

unhammer

org-mru-clock

⏲️ Effortlessly clock in/out of org-mode tasks, with completion and persistent history

bard

emacs-run-command

Efficient and ergonomic external command invocation for Emacs

ElNiak

PANTHER

This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.