4600 projects tagged "Mac OS X"
The Internet Document And Report Server (IDRS) is a full Web development platform. All pages are built using an XML like dialect called the Reporting Markup Language (RML), can be generated using data from any JDBC complient database, and mostly require no programming logic. For reports that do require programming logic, RML pages can also use external Java classes and embedded JPython and BeanShell scripts for a higher level of control. Features of the IDRS include user-based security, data connection pooling for use by both the central IDRS system and by individual reports, and multiple databases to be used for each report and JSP.
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).
JExpress is a Java installer builder and auto-updater. It gives you your choice of a standalone installer, including both native and cross platform installers and updaters for Windows, Mac OS X, Linux, and Solaris, or a Java Web Start one-click install. You create your installer quickly with your choice of a simple wizard or a powerful advanced interface, both included. You can bundle the exact JVM you want with your installer. The auto-updater gives you a continuous revenue stream after the sale. Your software is always up-to-date, so your customers have fewer problems. You also get all the features you expect in a top end installer. Your Java application becomes a native program just like any other. On Windows it's an EXE, on Mac OS X an app bundle, etc. If you need something really special, you can customize your installer by adding simple Java classes. You can even get a source license at a reasonable price.
Jmol is a Free, Open Source molecule viewer and editor. It is a collaboratively developed visualization and measurement tool for chemical scientists. Jmol is an active project, and there are new features being added to it on a daily basis. Users are encouraged to modify it to fit their needs and to contribute their changes to the project.
jMusic provides a library of classes for generating and manipulating music, and is a solid framework for computer assisted composition in Java. jMusic supports composers by providing a music data structure based upon note/sound events, and methods for working with that musical data. jMusic can read and write MIDI files, audio files, and its own .jm files. jMusic is designed to be extendible, encouraging you to build upon the functionality of jMusic by programming in Java to create your own music composition tools.
Translation of an RCS file collection or CVS repository history as a fast-import stream.