欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
KDE
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 KDE Thanks, Wikipedia. |
KDE: 一个强大的桌面系统,基于 Qt 构建。
目录 |
简介
基金会
项目
- postmarketOS
- KDE GitHub Mirror
- Plasma Mobile
- KDE neon
- Falkon KDE's lightweight web browser, using QtWebEngine.
- Calligra 是基于 KDE/Qt 技术构建的跨平台开源办公套装软件(office suite)
- Kdenlive 是 KDE Non-Linear Video Editor (KDE 非线性视频编辑工具) 的首字母缩写,使用 MLT 媒体框架进行构建。
- Kile LaTeX 前端应用
- Cantor 是一个强大的数学和统计学工具包的前端。Cantor 将它们集成到 KDE 平台并提供了美观,基于工作表的图形用户界面。它支持 KAlgebra,Lua,Maxima,R,Sage,GNU Octave,Python,Scilab 和 Qalculate 环境。
图集
链接
分享您的观点