ivy
Here are 160 public repositories matching this topic...
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.
-
Updated
May 31, 2024
Angular UI Component Library based on Ant Design
-
Updated
May 31, 2024 - TypeScript
Angular build facade extensions (Jest and custom webpack configuration)
-
Updated
May 30, 2024 - TypeScript
The Unified AI Framework
-
Updated
May 29, 2024 - Python
Semantic versioning for Java apps.
-
Updated
May 31, 2024 - Java
NG-NEST 是一个开源的 Web 应用程序框架,基于 Angular 和 Nest ,主要用于研发企业级中后台产品
-
Updated
May 31, 2024 - TypeScript
Ivy interface for ag searching.
-
Updated
May 27, 2024 - Emacs Lisp
An emacs package for managing js imports
-
Updated
May 24, 2024 - Emacs Lisp
⏲️ Effortlessly clock in/out of org-mode tasks, with completion and persistent history
-
Updated
May 22, 2024 - Emacs Lisp
Angular UI Component Library based on DevUI Design
-
Updated
May 22, 2024 - TypeScript
Performant calls to local functions in Angular Bindings
-
Updated
May 20, 2024 - TypeScript
Simple Documentation Builder for Ivy Projects.
-
Updated
May 12, 2024 - Shell
Improve this page
Add a description, image, and links to the ivy topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ivy topic, visit your repo's landing page and select "manage topics."