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
Jun 2, 2024
Python
Angular UI Component Library based on Ant Design
Updated
Jun 2, 2024
TypeScript
A fast and easy-to-use Angular QR Code Generator library with Ivy support
Updated
Jun 2, 2024
TypeScript
Set up your GitHub Actions workflow with a specific version of Apache Ant.
Updated
May 31, 2024
JavaScript
Modal image gallery for Angular
Updated
May 31, 2024
TypeScript
Angular build facade extensions (Jest and custom webpack configuration)
Updated
May 30, 2024
TypeScript
Semantic versioning for Java apps.
Updated
May 31, 2024
Java
NG-NEST 是一个开源的 Web 应用程序框架,基于 Angular 和 Nest ,主要用于研发企业级中后台产品
Updated
Jun 2, 2024
TypeScript
Updated
May 27, 2024
Emacs Lisp
Ivy interface for ag searching.
Updated
May 27, 2024
Emacs Lisp
An emacs package for managing js imports
Updated
May 24, 2024
Emacs Lisp
Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!
Updated
May 24, 2024
Emacs Lisp
Monorepo for components released on NPM @umami-creative/ngx-editorjs-ivy
Updated
May 23, 2024
TypeScript
⏲️ 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
Ivy interface for fd (fdfind).
Updated
May 17, 2024
Emacs Lisp
Commands and utils for ivy and counsel.
Updated
May 13, 2024
Emacs Lisp
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.
Curate this topic
Add this topic to your repo
To associate your repository with the
ivy
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.