1、Structuresmith
Structuresmith 是一个功能强大的工具,旨在自动生成项目文件、简化存储库设置以及使用可自定义模板进行更多操作。
Structuresmith 使用 Go 的 text/template 包语法。这包括条件语句、范围循环等,为创建复杂模板提供了一组丰富的功能,允许您在模板中定义动态内容。该系统提供了一种将值插入文件的灵活方法,使您的模板能够适应不同的上下文。
能做什么?
- 自动化项目设置:使用预定义模板简化新项目初始化,显着减少设置时间。
- 跨项目标准化:确保跨多个项目或存储库的文件结构和设置一致,这对于团队一致性和项目维护至关重要。
- 引导:加速创建初始项目结构,以实现快速原型设计和开发迭代。
- 自定义模板管理:在各种项目中有效管理和应用自定义模板,这对于大型团队或组织尤其有益。
- 配置审核:在部署之前验证 YAML 配置,以确保符合所需的标准和规范,从而增强可靠性并减少配置错误。
2、TwitchDropsMiner
这款应用程序可让您 AFK 挖取 Twitch 定时空投的地雷,并可自动进行空投认领和频道切换。
3、Huh
Go语言构建终端表单和提示。
- 易于独立使用,可以 集成到 Bubble Tea 应用程序中,并包含一流的屏幕阅读器可访问模式。
- 示例:从单个 Go 程序运行的(源代码)。
4、kondo
清理项目中的依赖关系并构建工件。
- 20+ 支持的项目类型:
Gradle (Java) Jupyter Notebook (Python)、 Maven (Java)、 Node (JavaScript)
Pub (Dart)、 Python [url=https://www.scala-sbt.org/]SBT[/url] (Scala)、 Stack (Haskell)、 Swift
url=https://unity.com/]Unity[/url] (C#)、 虚幻引擎[/url、 [url=https://ziglang.org/]Zig、 .NET(C#、F#)
5、FSearch
基于 GTK3 的类 Unix 系统的快速文件搜索实用程序。 FSearch 是一款快速文件搜索实用程序,其灵感来自 Everything Search Engine。它是用 C 语言编写的,基于 GTK3。
特征:
- 即时(当您输入时)结果
- 高级搜索语法
- 通配符支持
- 正则表达式支持
- 过滤器支持(仅搜索文件、文件夹或所有内容)
- 包含和排除要索引的特定文件夹
- 能够使用通配符表达式从索引中排除某些文件/文件夹
- 按文件名、路径、大小或修改时间快速排序
- 可定制的界面(例如,在带有菜单栏的传统 UI 和客户端装饰之间切换)
6、Page Spy
PageSpy是一个Web项目的远程调试工具。
基于对原生 API 的封装,它将调用原生方法时的参数进行过滤、转化,整理成格式规范的消息供调试端消费;调试端收到消息数据,提供类控制台可交互式的功能界面将数据呈现出来。
任何无法在本地使用控制台调试的场景,都是 PageSpy 可以大显身手的时候!一起来看下面的例子:
- 本地调试 H5、Webview 应用:以往有些产品提供了可以在 H5 上查看信息的面板,但移动端屏幕太小操作不便、显示不友好,以及信息被截断等问题;
- 远程办公、跨地区协同:传统沟通方式如邮件、电话、视频会议等,沟通效率不高、故障信息不全面,容易误解误判;
- 用户终端上出现白屏问题:传统定位问题的方式包括数据监控、日志分析等,这些方式依赖排障人员要理解业务需求场景、技术实现;
对此 PageSpy 提供项目运行现场供技术人员在调试端查看,在远程协同场景中,测试人员不用再频繁的通过文字、截图、语音、录屏等方式向技术人员提供故障信息。
7、lobe-chat
一个开源、高性能的聊天机器人框架,支持语音合成、多模式和可扩展的函数调用插件系统。支持一键免费部署您的私人 ChatGPT/LLM Web 应用程序。
- 视觉模型支持
- TTS 和 STT 语音语音
- 函数调用插件系统
- 代理市场
- PWA进度网络应用程序
- 移动设备适配
- 主题模式选择
8、redb
一个简单、可移植、高性能、ACID、嵌入式键值存储。
特征
- 零拷贝、线程安全、BTreeMap、基于API
- 完全符合 ACID 的事务
- MVCC 支持并发读取器和写入器,无阻塞
- 默认情况下是安全的
- 保存点和回滚
redb 是用纯 Rust 编写的,大致受到lmdb的启发。数据存储在写时复制 B 树的集合中。
9、dokemon
Docker 容器管理 GUI
- 部署撰写文件、启动/停止容器、删除未使用的图像、查看日志。
10、Quint
一种可执行规范语言,具有基于动作时序逻辑 (TLA) 的令人愉快的工具。
Quint 是一种现代规范形式化语言,特别适合分布式系统,例如区块链协议、分布式数据库和 p2p 协议。Quint 将动作时间逻辑 (TLA)的强大理论基础与最先进的类型检查和开发工具相结合。
Quint 受到TLA+(语言)的启发,但提供了一种替代的表面语法,用于在 TLA(逻辑)中指定系统。我们的语法最重要的特点是它是最小的和规则的,使 Quint 成为高级开发人员工具和静态分析的简单目标
该语法还旨在让工程师熟悉:
- 在词法层面,它借鉴了类C语言的许多原则。
- 在语法层面,它遵循函数式语言中的许多原则。
- 在语义层面,Quint 扩展了标准编程范式,增加了非确定性和时间公式,从而可以简明扼要地说明网络、故障和时间等协议环境。