|
|
共有 12 个源码项目.每页显示10条.
<1> <2>
1. WDialog framework for web applications
- WDialog is a system to make dialog-centric web applications. It imitates the behaviour of widgets found in GUIs, but acts in a HTML/HTTP environment. There is a UI language (XML), but callbacks are coded in a normal programming language (O'Caml, Perl)
WDialog是一个生成以对话框为中心的Web应用程序的系统。它模拟在GUI中的窗口组件的行为，但是在HTML/HTTP环境中运行。有一个UI语言（XML），但其回调函数可以在通常的编程语言(O'Caml, Perl)中编码。
来源：http://sourceforge.net/projects/wdialog/ |
|
2. HOL theorem-proving system
- HOL theorem-proving system - HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
HOL theorem-proving system - HOL 是为Higher Order Logic提供理论的。她从各种存在的理论而来又不同于数学和电脑理论。 |
|
3. mathplot
- mathplot is an interactive function grapher. It supports equations, inequations, displaying tangent, finding roots, extrema, and the intersection of 2 functions, and much more.
mathplot是一个交互功能绘图仪。它支持平衡，不平衡，显视切线，发现根、极值，以及两个函数的交，等等。 |
|
4. pkt
- XML Universal Packet Archiver (PKT) is a platform independant universal file archiving system with pluggable options for encryption, encoding, compression, parity/RAID protection and more.
XML通用包文档器 (PKT) 是一个平台独立的通用文件文档化系统，提供的可选择的功能有加密、编码、压缩，奇偶/RAID检验保护,等等。
来源: http://sourceforge.net/projects/pkt/ |
|
5. IceDock
- IceDock provides dockapp support for IceWM and few other window managers.
IceDock为 IceWM 和几个其它的window管理器提供dockapp支持。 |
|
6. Structio. Constructing Knowledge in Col
- Structio produces tools and contents with sources of public domain useful for colombian schools and appropriate to be distributed in Internet (e.g sotware, writings, images, sounds and music).
Structio可以为学校组织生成可用的公共域的工具和内容，适合于在Internet 上发布（如软件、文档、图片、声音和音乐）。
来源: http://sourceforge.net/projects/structio/ |
|
7. Planets
- Planets is a fun, interactive program for many-body gravity simulations. The emphasis is on play: it's easy to add in planets, zoom in and out, change the physical constants, save and load configurations, etc. It's designed to be easy enough for a kid to enjoy, but that hardly precludes adults.
Planets是一个有趣的，交互性的程序，用于模拟多天体的引力场。它的主题在于它的可玩性：可以方便地增加行星，对场景进行缩放，修改物理常量，保存和加载配制，等等。它被设计为足够的简单以能让小孩玩乐，但它也不排除成年人。
来源：http://freshmeat.net/projects/planets/ |
|
8. MyPhpMoney
- MyPhpMoney is a tool written in PHP to manage bank accounts thru a web interface. It uses mysql to store data and relies on PHPLIB (template, session and database abstraction).
MyPhpMoney是一个用PHP编写的工具，用于通过一个Web界面来管理银行帐户。它使用mysql 来保存数据，利用了PHPLIB（模板，会话和数据库抽象）。
来源: http://sourceforge.net/projects/myphpmoney/ |
|
9. SwiftSurf
- SwiftSurf - http filtering proxy
SwiftSurf http过滤代理服务器。 |
|
10. Moscow ML
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Moscow ML是Standard ML (SML)的一个轻型实现，它是在教学和研究中广泛使用的一个严格的功能语言。
来源: http://freshmeat.net/projects/mosml/?topic_id=49 |
|
共有 12 个源码项目.每页显示10条.
<1> <2> |
|
