ProVerif Editor-开源

开源软件
需积分: 29 1 下载量 116 浏览量 2021-06-27 20:42:42 上传 评论 收藏 27KB TGZ 举报
preview
共10个文件
py：4个
lang：1个
changelog：1个
资源详情
资源评论
评论 收藏
焦淼淼
  • 粉丝: 25
  • 资源: 4643
上传资源 快速赚钱
voice
center-task 前往需求广场，查看用户热搜

相关推荐

application/pdf

演算之美.pdf,演算之美.pdf

演算之美.pdf 演算之美.pdf 演算之美.pdf 数学,演算之美.pdf 演算之美.pdf
jar

Editor-开源

有关最新版本，请从以下网站下载：http://www.splashportal.net/Editor
zip

Sourced Editor-开源

面向Web开发人员的轻量级跨平台文本编辑器。 支持FTP和SFTP进行远程编辑，并包括内置的SSH终端。
zip

Arcanum Editor-开源

Arcanum编辑器是用于加密和解密邮件的小型但功能强大的工具。 该程序还带有其自己的格式CTXT。 此格式基于XML，并允许您使用“高级加密标准”保存文本。
zip

Coushe Editor-开源

手机颜色方案的编辑器（ColorSchemes，*。col文件）。
bz2

Pebble Editor-开源

Pebble 是一个小巧的、坚如磐石的文本编辑器。 它可以通过基于 Python 的插件完全扩展。
pdf

proverif用户文档

proverif用户文档，ProVerif is an automatic cryptographic protocol verifier, in the formal model (so called Dolev-Yao model). This protocol verifier is based on a representation of the protocol by Horn clau
exe

UnitySetup-Android-Support-for-Editor-5.3.5f1

UnitySetup-Android-Support-for-Editor-5.3.5f1UnitySetup-Android-Support-for-Editor-5.3.5f1UnitySetup-Android-Support-for-Editor-5.3.5f1UnitySetup-Android-Support-for-Editor-5.3.5f1
star 5星 · 资源好评率100%
exe

UnitySetup-Android-Support-for-Editor-5.3.4f1

UnitySetup-Android-Support-for-Editor-5.3.4f1
star 4星 · 用户满意度95%
exe

JaWE - Java Workflow Editor-开源

Enhydra JaWE（Java 工作流编辑器）是第一个完全符合 WfMC 规范的开源图形 Java 工作流过程编辑器，支持 XPDL 作为其原生文件格式。
gz

Behemot Editor-开源

一种图形程序，可以对3D对象和场景进行建模和渲染。
zip

CNC Editor-开源

CNC编辑器-该项目的目标是为带有仿真刀具路径的CNC机器设计面向文本的编辑器。
zip

JET-Editor-开源

JET模板（EMF使用的模板）的基于Eclipse的编辑器。 它旨在以足以满足其他eclispe语言支持的质量来支持JET模板的开发。
msi

Bidi Editor-开源

拟议的SII 5194（双向文本编辑）以色列标准的参考实现（希望是将来的Unicode标准）。 这是一个功能齐全的文本编辑器，具有完整的BiDi支持。
gz

KXML Editor-开源

KDE 的 XML 编辑器
zip

前端开源库-medium-editor-markdown

前端开源库-medium-editor-markdown中等编辑器标记，用于添加标记支持的中等编辑器扩展。
exe

UnitySetup-Android-Support-for-Editor-2017.4.0f1.exe

UnitySetup-Android-Support-for-Editor-2017.4.0f1.exe。Unity3D 2017.4版本的Android开发支持包。
star 5星 · 资源好评率100%
ttf

editor-icon.ttf

editor-icon.ttf
exe

UnitySetup-Windows-Support-for-Editor-5.3.8f2.exe

UnitySetup-Windows-Support-for-Editor-5.3.8f2.exe 下载
zip

Angular-angular-editor-fabric-js.zip

Angular-angular-editor-fabric-js.zip,基于fabric js for angular.ioangular-editor-fabric-js的拖放编辑器,Angularjs于2016年发布，是Angularjs的重写版。它专注于良好的移动开发、模块化和改进的依赖注入。...
tgz

CPL Editor-开源

CPLed是一个OpenSIPS工具，用于以友好和轻松的图形方式编辑CPL脚本。 它可以用作独立应用程序，也可以作为applet嵌入到网页中。 它还通过SIP和HTTP协议提供CPL脚本传输功能。
zip

UML-Editor-开源

一个易于使用的工具，用于建立模型驱动的体系结构。
rar

GraphxShop Editor:1个-开源

GraphxShop Editor是使用Java开发的。 它是一个基本的图形和图像编辑器。
zip

Course Editor-开源

课程编辑器是一种创作工具，旨在从存储在数据库中的现有学习对象 (LOM) 构建基于多媒体的层次结构。 JDO 兼容，完全用 Java 实现。
zip

XPL Editor-开源

XPL编辑器是基于eXtensible Presentation Language（可扩展表示语言）的RCP Eclipse应用程序，可扩展表示语言是基于Visual Design Patterns构建的基于xml的表示语言。 有关XPL的更多信息，请访问http://semantics.eng.it/xpl/index.html
zip

RFE - Resource File Editor-开源

资源文件编辑器允许您使用编译功能（外部编译器）轻松创建和编辑RC文件。
zip

前端项目-medium-editor-insert-plugin.zip

前端项目-medium-editor-insert-plugin,jQuery insert plugin for Medium editor
rar

DE-University Augsburg - DITA Editor-开源

DE-University Augsburg - DITA 编辑器是一个基于 XML 的 Eclipse 编辑器工具，用于以符合 DITA 的方式捕获需求并使用本体概念对其进行注释。 根据专门的 Topictypes/DTD，文件的结构是有效的。