Home user

电子邮件客户端

lumail

基于控制台的邮件客户端,集成 Lua 脚本支持。「A console-based mail-client with in...
GPL-2.0
C++
  1.3k
BT客户端

Popcorn Time

Popcorn Time 是一个多平台、免费的 BitTorrent 客户端软件,包括一个集成的媒体播放器(Androi...
NOASSERTION
Java
  2.4k
其他工具

hallelujahIM

hallelujahIM(哈利路亚 英文输入法)是一个具有自动建议和拼写检查功能的智能英语输入法,仅适用于Mac。「ha...
GPL-3.0
Objective-C++
  24k
Web浏览器

Responsively App

一个经过修改的 Web 浏览器,有助于响应式网络开发。一个 Web 开发者必须拥有的开发工具。「A modified w...
AGPL-3.0
JavaScript
  1.3k
屏幕捕获

vokoscreenNG

vokoscreenNG 是一个强大的截屏工具,可以用多种语言录制屏幕、某个区域或某个窗口(仅限 Linux)。支持从多...
GPL-2.0
C++
  8.5k
其他工具

Dozer

在 macOS 上隐藏菜单栏图标。「Hide menu bar icons on macOS」  
MPL-2.0
Swift
笔记

Nomie 5

Nomie v5 源码。开源生活追踪器/心情追踪器/数据日志。「Nomie v5 Source Code. Open S...
MIT
Svelte
数学

RedPRL

受 Nuprl 启发而开发的基于策略的计算笛卡尔立方类型理论证明助手。RedPRL 实现了两级立方类型理论,其中包括单等...
MIT
Standard ML
To the top