家庭用户

  3.8k
數學

Coq

Coq 是一个正式的证明管理系统。 它提供了一种形式化的语言来编写数学定义、可执行算法和定理,以及用于机器检查证明的半交...
  • 星數: 3761
  • 關注者數: 107
  • 派生數: 553
  • Program Language: OCaml
  11k
策略遊戲

openage

帝国时代II引擎的免费(自由)开源克隆。「Free (as in freedom) open source clone...
  • 星數: 11023
  • 關注者數: 419
  • 派生數: 1055
  • Program Language: Python
  3.8k
人工智能

Malmo

Malmo项目是一个建立在Minecraft之上的人工智能实验和研究平台。 我们的目标是激发新一代研究,以解决这一独特环...
  • 星數: 3771
  • 關注者數: 265
  • 派生數: 616
  • Program Language: Java
策略遊戲

Evolution-RTS

Evolution RTS是一款使用Spring Engine设计的免费开源RTS游戏。(Evolution RTS i...
  • 星數: 127
  • 關注者數: 20
  • 派生數: 38
  • Program Language: Lua
FTP用戶端

bareFTP

bareFTP 是一个用 c# 编写的文件传输客户机,用于 Mono 框架和 GNOME 桌面环境。(bareFTP i...
  • 星數: ø
  • 關注者數: ø
  • 派生數: ø
  • Program Language: C#
  1.1k
其他軟體

LiveSplit

一款时尚、高度可定制的计时器,适用于速度计。(A sleek, highly customizable timer fo...
  • 星數: 1104
  • 關注者數: 45
  • 派生數: 676
  • Program Language: C#
控制台 / 終端模擬器

asciinema-edit

asciinema 转换后期制作工具。(asciinema casts post-production tools)
  • 星數: 249
  • 關注者數: 3
  • 派生數: 12
  • Program Language: Go
向量圖形

inkscape-bootstrap

用于 bootstrap 的 Inkscape 网格模板。(Inkscape grid template for boo...
  • 星數: 72
  • 關注者數: 7
  • 派生數: 21
  • Program Language: ø
  2.5k
詞典

mecab-ipadic-neologd

基于Web上的语言资源的Neologism词典,用于mecab-ipadic。(Neologism dictionary...
  • 星數: 2490
  • 關注者數: 122
  • 派生數: 253
  • Program Language: Shell
  1.3k
Go

go-getter

用于使用各种协议从字符串 URL 中下载东西的包。「Package for downloading things fro...
  • 星數: 1345
  • 關注者數: 267
  • 派生數: 169
  • Program Language: Go
  1.1k
搜索工具

ugrep

新的 ugrep v3.6:超快的 grep,带有交互式查询用户界面和模糊搜索:搜索文件系统、源代码、文本、二进制文件、...
  • 星數: 1124
  • 關注者數: 21
  • 派生數: 52
  • Program Language: C++
  7.1k
詞典

english-words

一个包含479k英语单词的文本文件,用于所有词典/基于单词的项目,例如:auto-completion / autosu...
  • 星數: 7118
  • 關注者數: 189
  • 派生數: 1416
  • Program Language: Python
密碼管理

vault

生成安全的密码,所以你永远不需要记住他们。「Generates safe passwords so you never...
  • 星數: 468
  • 關注者數: 24
  • 派生數: 71
  • Program Language: JavaScript
672
JavaScript
雲存儲

Pydio Cells client

命令行客户端与cells REST api进行通信。(Command line client to communicat...
  • 星數: 17
  • 關注者數: 9
  • 派生數: 11
  • Program Language: Go
To the top