Ports 搜索

WindowBuilder is a powerful and easy to use bi-directional Java GUI designer that makes it very easy to create Java GUI applications without spending a lot of time writing code to display simple forms. With WindowBuilder you can create complicated windows in minutes. Use the visual designer and Java code will be generated for you. You can easily add controls using drag-and-drop, add event handlers to your controls, change various properties of controls using a property editor, internationalize your app and much more.

JGraph is the most powerful, lightweight, feature-rich, and thoroughly documented open-source graph component available for Java. It is accompanied by JGraphpad, the first free diagram editor for Java that offers XML, Drag and Drop and much more! With the JGraph zoomable component, you can display objects and relations (networks) in any Swing UI. JGraph can also be used on the server-side, for example to read a GXL graph, apply a custom layout algorithm, and return the result as a HTML image map.

JGraph is the most powerful, lightweight, feature-rich, and thoroughly documented open-source graph component available for Java. It is accompanied by JGraphpad, the first free diagram editor for Java that offers XML, Drag and Drop and much more! With the JGraph zoomable component, you can display objects and relations (networks) in any Swing UI. JGraph can also be used on the server-side, for example to read a GXL graph, apply a custom layout algorithm, and return the result as a HTML image map.

MX4J is a project to build an Open Source implementation of the Java(TM) Management Extensions (JMX) and of the JMX Remote API (JSR 160) specifications, and to build tools relating to JMX. JMX is an optional package for J2SE that provides a standard way to manage applications. It can also be used to wrap legacy systems and provide a standard interface to the outside world, enabling the development of web services. JMX allows developers to write more modular and loosely coupled system components and reduce the complexity of large, interoperating systems.

Squirrel is a high level imperative/OO programming language, designed to be a powerful scripting tool that fits in the size, memory bandwidth, and real-time requirements of applications like games. However Squirrel offers a wide range of features like dynamic typing, delegation, classes & inheritance, higher order functions, generators, coroutines, tail recursion, exception handling, automatic memory management, weak references, etc. Squirrel is inspired by languages like Python, Javascript and especially Lua. The API is very similar and the table code is based on the Lua one.

Heirloom mailx (formerly known as "nail") is derived from Berkeley Mail and provides the functionality of the System V and POSIX mailx commands. Additional features include support for MIME, IMAP (including caching and disconnected use), POP3, SMTP, S/MIME, international character sets, maildir folders, message threading, powerful search methods, scoring, and a Bayesian junk mail filter. Mailx can be used as a mail batch language in nearly the same way as it is used interactively. It can thus act as a mailbox filter, can fetch mail from remote accounts, and can send files as attachments.

This program is for any user who retrieves ftp files via ftpmail or bitftp servers. It runs quietly in the background and watches the user's mail directory. When the mail- retrieved file has arrived in full, rftp puts the pieces together in order and stores the tarball in a directory. I wrote this several years ago when my only link to the Arpanet was a uucp link. These days, most FreeBSD users have a direct link to the net. For the dozens or hundreds who don't this should be of use.

CLN is a library for computations with all kinds of numbers. It has a rich set of number classes: - Integers (with unlimited precision), - Rational numbers, - Floating-point numbers: Short float, Single float, Double float, Long float (with unlimited precision), - Complex numbers, - Modular integers (integers modulo a fixed integer), - Univariate polynomials. The subtypes of the complex numbers among these are exactly the types of numbers known to the Common Lisp language. Therefore CLN can be used for Common Lisp implementations, giving `CLN' another meaning: it becomes an abbreviation of "Common Lisp Numbers".

Agda is a dependently typed functional programming language: It has inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Lof. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL.

Yacas (Yet Another Computer Algebra System) is a small and highly flexible general-purpose computer algebra language. The syntax uses a infix-operator grammar parser. The distribution contains a small library of mathematical functions, but its real strength is in the language in which you can easily write your own symbolic manipulation algorithms. The core engine supports arbitrary precision arithmetic (although it can optionally be linked with the library "libgmp3") and is able to execute symbolic manipulations on various mathematical objects by following user-defined rules.