#形式化分析工具Scyther性能研究

SQLite开源在线工具-SQLime

SQLime是一款开源的 SQLite 在线工具,可用于调试与分享SQL片段。基于Javascript编写,遵守MIT开源协议。跟前端开发工具JSFiddle类似,只是JSFiddle用于调试Javascript,SQLime用于调试SQL。 主要特性:SQLime包含整合了sql.js项...

开源项目管理工具-taskcafe

taskcafe是一款开源的项目管理工具,基于Go与Typescript编写,遵守MIT开源协议。以看板形式展现任务,支持对任务进行筛选过滤、打标签、添加截止日期、分配成员、制定流程等操作。 功能特色:通过看板管理任务,设置截止时间,标签,检查表。通过“我的任务”查看被分配的任务个人项...

开源白板/记事工具-Lorien

Lorien是一款基于Godot游戏引擎的自由开源的“无限画布绘画/记事”应用程序。适合为头脑风暴会议做快速笔记。支持多操作系统,包括:Windows,Linux以及macOS。软件遵守MIT开源协议。功能特性:无限绘图无限重做/撤销(几乎)无限放大缩小无限网格专注全屏模式存档文件体积小巧可同时...

数据处理开源工具-Volbx

Volbx是一款可用于数据处理的开源图形工具,拥有数据加载、过滤、选择筛选、可视化、xlsx与CSV格式导出等功能。基于C++/Qt编写,遵守LGPL开源协议。作者称该工具最初是为房地产评估而创建的。当项目结束时,作者删除了房地产计算部分,并保留基本数据处理的应用程序作为开源项目。功能特色:加载数据-打开xlsx及od...

开源的网页绘图工具-tldraw

tldraw是一款Web版的轻量级开源绘图和图表工具,具有手绘风格和智能箭头、捕捉和便签等便捷功能。自带画笔、橡皮、线框、文字等工具,用户可自定义画笔颜色、线框样式等。tldraw遵守MIT开源协议。除了满足基本绘画需求之外,tldraw还支持创建多人绘画房间,快捷键作画,以及暗黑主题、创作专注模式、画布调试模式、画布...

JavaScript 代码迁移为 TypeScript 代码工具-TS-Migrate

TS-Migrate是Airbnb(爱彼迎)公司开源的前端工具,可将JavaScript代码快速迁移为TypeScript代码,节省前端工程师的时间成本,统一开发环境。遵守MIT开源协议。 TS-Migrate生成的代码仍然需要后续操作来提高安全性。但比从头开始重新写代码要好得多。TS-Migrate被设计为...

快捷键操作窗口小工具-Vimac

Vimac是一款MacOS下的快捷键插件开源小工具。可以完全借助快捷键来提高生产力,不借助鼠标或触摸板下,通过键盘快捷键即可操作当前窗口,比如快速选中、上下滚动等。Vimac基于Swift编写,遵守GPL开源协议。...

语音转文字开源工具-Buzz

Buzz是一款开源的实时语音转文字工具,基于OpenAIWhisper的开源音频转文字模型。多操作系统支持包括Windows、macOS、Linux。Buzz支持麦克风语音实时转换为文字,也支持将视频、音频文件转换为文字、字幕。功能特性:实时语音转文字、实时翻译(多国语言,包括中文)导入音频、视频文件(mp3、wav、...

开源安全加密工具-Age

Age(ActualGoodEncryption)是一款简单易用的安全加密开源工具,可基于非对称加密算法,快速对私密文件进行加密。Age命令行工具基于Go语言编写,遵守BSD-3-clause开源协议。各个操作系统安装方法:Homebrew(macOSorLinux)brewinstallageMacPortsport...

开源的命令行网络诊断工具-Pingu

Pingu是一款开源的命令行网络诊断工具,可用于替代ping。由一位日本开发者基于Go语言编写,遵守MIT开源协议。使用Pingu,会逐渐出现一只可爱的ASCII企鹅图形,并高亮关键字。功能特色:彩色输出.多平台支持:Windows,macOS以及Linux(包括WSL)单个执行文件,安装使用方便支持IPv4和IPv6...

BIT超级数据分析平台和传统BI有什么区别?

传统BI(商业智能)分析工具主要是以工具为主,而BIT超级数据分析平台是集合数据展示、分析、交互为一体的企业综合管理解决方案,数据分析工具快速完成企业内外部数据分析多终端展示落地,再借助数据产品门户的管理功能,实现指标到人任务到人,信息交互及预警推送。总而言之超级数据分析平台比传统BI更加的智能化,全面化。...

网络诊断工具:Tracert命令

Tracert命令是一种网络诊断工具,可以用来查看数据包从计算机到目标主机经过了哪些路由器。它通过发送ICMP回显请求(ping包)并记录下每个路由器的响应时间来实现这个目的。使用Tracert命令的方法如下:在Windows操作系统中,打开命令提示符,输入"tracert"命令,后面跟上目标主机的...

iperf网络(局域网,家庭千兆/万兆网)性能测试

iperf.fr下载地址window选择3版本下载。解压。记得安装iperf3版本sudoaptinstalliperf3一端启动服务端,一端启动客户端。比如在window启动服务端,监听端口为5201iperf3-s客户端客户端使用-c+服务端ipiperf3-c192.168.50.229服务端客户端结果分析简单来...

修复程序缺少.dll 的工具:DirectX Repair v3.8.8

DirectX修复工具是一款系统级工具软件,简便易用。本程序为绿色版,无需安装,可直接运行,DirectX修复工具主要对系统丢失的dll文件进行修复,不管你是工作还是生活使用电脑都会遇到丢失dll文件应用无法启动的情况,比如你安装完一款你最喜欢的游戏在启动的时候提示系统缺少d3dx9_39.dll、d3dx9_40.d...

抓包工具哪个好用

好用的抓包工具有Fiddler、Fragroute、Charles、Tcpdump、Wireshark、Proxyman、HttpCanary、tcpdump、Hping、Ostinato。Fiddler是一个HTTP调试抓包工具。常用于检测网页和服务器的交互情况,Fiddler能够记录所有客户端和服务器间的http请...
开发笔记 ·2023-01-11
首页上一页...23456...下一页尾页