PVSio网络 PVSio-web是用于对用户界面软件进行原型设计和分析的新图形工具。 它提供了动画环境的典型功能，使设计人员可以加载和模拟逼真的用户界面。 在下面，它使用SRI的最先进的定理证明者PVS进行分析，并使用pvsio组件作为仿真的基础。 可以在此youtube视频观看使用PVSio-web创建的模拟 消息 （2021年4月）正在开发新版本的PVSio-web，该版本引入了改进的体系结构和新功能，例如动态加载小部件库。 新版本将集成到，这是用于PVS验证系统的现代开发环境。 请随时关注更新！ 现场版 使用PVSio-web创建的逼真的原型可以在以下链接中找到： 的通用输液泵原型-完整模型） （商业患者监护仪-仅限监护模式） （商业输液泵原型-完整模型） （商业输液泵原型-仅数据输入系统） 在上也可以使用功能有限的完整PVSio-web工具（请注意，Web服务

阴影 Shadow.js 是一个简单且轻量级的 JavaScript 库，它允许您为图像添加阴影。 ##图书馆网站 *

另一个 WordPress 入门主题 带有 Bootstrap、下划线、CMB、Redux 和基本流行 javascript 库的 Wordpress 入门主题。

左轮手枪 Revolver 是一个 javascript 库，可帮助您构建自己的内容滑块。 它有一个合理的 （说真的，去看看吧），它可以帮助你从模型到现实，比那里的大多数其他“千篇一律”滑块更少的摩擦。 一个重要的区别是，左轮手枪是比大多数其他组件低得多的组件。 它更像是一个框架，而不是一个完整的解决方案。 因此，自然而然地，手写一些 javascript 是随该领域而来的。 让我们开始吧！ 安装 安装 Revolver 的推荐方法是使用 。 bower install revolver 它将为您解决 Revolver 的所有依赖项，无需单独下载。 如果您不熟悉它，我强烈建议您！ 当然，您仍然可以采用老式的方法并在项目中的任何位置/unzip。 只需确保您也对 Revolver 的硬依赖项执行相同操作： 和Bean 。 用法 实例化 Revolver 只需要两件事： 容器：通

Cloudgamer JavaScript Library Author: Project in Chinese Animations [AlertBox 弹出层（信息提示框）效果] () [JavaScript 图片3D展示空间（3DRoom）] () [图片(旋转/缩放/翻转)变换效果(ccs3/滤镜/canvas)] () [SlideView 图片滑动（扩展/收缩）展示效果] () [ImageZoom 图片放大效果] () [ImageZoom 图片放大效果（扩展篇）] () [ImagesLazyLoad 图片延迟加载效果] () [Lazyload 延迟加载效果] () [JavaScript 图片上传预览效果] () [简便无刷新文件上传系统] () Read

用于创建和操作颜色的轻量级 JavaScript 库。 安装 颜色目前取决于 Underscore.js，但有计划在未来版本中删除它。 通过 npm 安装 $ npm install colourjs 在您的项目中需要和使用 var Colour = require ( 'colour' ) ; var colourHex = new Colour ( '#e27a3f' , { alpha : 0.7 } ) ; var colourRGB = new Colour ( { type : 'RGB' , value : [ 226 , 122 , 63 ] } , { alpha : 0.7 } ) ; var colourHSL = new Colour ( { type : 'HSL' , value : [ 75 , 21.9 , 65 ] } , { alpha : 0.7

自定义表单js 当前版本：1.0.9a - 30/07/2014 AMD 兼容。 经过 2 年的1.0 版发布，customforms 的目标是提供一种简单且可定制的方式来实现表单字段。 我们的目标不仅是让它工作，而且是在软件工程最佳实践和原则之上构建它。 所有代码都经过单元测试和跨浏览器测试，每次提交时都使用最新的 jquery版本和最旧的支持版本。 未来的版本、错误和增强都可以在 trello 板上找到。 在 github 上创建的所有问题都会有一个与之关联的 trello 卡。 ### 持续集成测试 敏捷板 ##查看jQuery 2.0演示 ##使用jQuery 1.6查看演示 模块 文本跨浏览器支持占位符。 选择-自定义选择框 文件-自定义输入文件 复选框-自定义复选框 收音机-自定义收音机 浏览器支持 谷歌：Chrome 5+ 火狐：3.5+ 歌剧：7+

小吃.js ...因为有时，您只需要一份零食。 警告！ 我不维护它，所以如果你使用它，你已经承担了维护。 特征 微小的！ ~3.4kb！ （缩小，压缩） 元素 使用任何选择器引擎。 带有多个构建版本（QSA、 、 、 ） 几种元素方法 用于添加更多元素方法的 API 活动 跨浏览器 DOMContentLoaded (domready) 跨浏览器 DOM 事件 事件委托（有或没有选择器引擎） 发布/订阅 用于应用程序通信的发布者对象 AJAX 跨浏览器 AJAX JSONP 公用事业 浅对象与snack.extend合并 Object.create原型继承 其他一些实用程序（仅用于零食） 文档 小吃有很好的记录。 存储库中有一个 docs 文件夹。 只需在浏览器中打开docs/index.html或访问 。 贡献/测试/构建零食 子模块（选择引擎） 因为 Snack

Iroha：Necomesi JS 库 概述 它的起源可以追溯到15年前。Kodika家族秘籍的JS库，自古就有详细使用。我认为它很难使用，因为它由于岁月的转变而变得无用。 细节 请参阅。

阿尼朗 以任何字母输入文本。 Anylang 是一个 javascript 库，可将一种语言的文本的音标转换为以目标语言字母表书写的文本。 目前使用希伯来语（带元音）和俄语。