RSS 4829 projects tagged "Mac OS X"

Download Website Updated 24 May 2009 leJOS NXJ

Screenshot
Pop 89.67
Vit 5.75

leJOS is a Java-based replacement firmware (OS) for LEGO Mindstorms programmable bricks, including RCX and NXT. It supports threads, exceptions, synchronization, floating point arithmetic, strings, and so on, but there is no garbage collection yet. It is also designed to be portable to other small devices.

No download Website Updated 31 May 2005 Nets

Screenshot
Pop 65.67
Vit 2.76

Nets is a flexible and extensible network inventory and asset management system that works on all Unix and Windows platforms, and works with most SQL databases. Its complete GUI allows you to maintain details of your entire network, from network links down to interfaces and routers. It assists in provisioning, costing, reporting, and maintaining network details. It includes a network browser, an extension API, and plugins for IP address map visualisation, reports, schematics.

Download Website Updated 03 Apr 2014 MUSCLE

Screenshot
Pop 666.68
Vit 201.72

MUSCLE (Multi User Server Client Linking Environment) is an N-way messaging server and networking API. It includes client-side networking APIs for various languages, including C, C++, C#, Delphi, Java, and Python. MUSCLE lets programs communicate over a network via streams of serialized Message objects. The included server program ("muscled") lets its clients message each other and store information in its server-side hierarchical database. The database supports flexible queries via hierarchical wildcarding, and "live" updates via a subscription mechanism.

Download Website Updated 25 Feb 2014 album

Screenshot
Pop 1,319.86
Vit 60.56

album is a free HTML/XHTML photo album and gallery generator that supports themes/skins. You can choose different themes or write your own to get different layouts and styles. It creates all your thumbnails (including directory thumbnails) and descends into directories so you can organize your photos. See the home page for more examples. album is also multi-lingual, with many languages being added all the time. N.B.: The purchase link is provided for donations; the software does not cost anything.

Download No website Updated 26 Feb 2011 db4o

Screenshot
Pop 482.65
Vit 17.55

db4o is an object database for Java and all .NET environments. Its features include ACID transactions, automatic class schema recognition, query-by-example, a S.O.D.A. object querying API, native queries, LINQ support on .NET, callback methods, memory files, cascade-on-delete, multi-threaded access, and Java Webstart and servlet support.

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 69.61
Vit 3.17

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).

Download Website Updated 12 Sep 2013 DbVisualizer

Screenshot
Pop 579.70
Vit 23.30

DbVisualizer is a universal database tool for developers and database administrators. It can be used on all major operating systems and can access a wide range of databases.

Download Website Updated 19 Jan 2013 Webware for Python

Screenshot
Pop 123.07
Vit 12.34

Webware for Python is a suite of Python packages and tools for developing object-oriented, Web-based applications. The suite uses well known design patterns and includes a fast Application Server, Servlets, Python Server Pages (PSP), Object-Relational Mapping, Task Scheduling, Session Management, and many other features. Webware is very modular and easily extended. It is well proven and platform-independent. It is compatible with multiple Web servers, database servers, and operating systems.

Download Website Updated 22 Jul 2010 Baudline

Screenshot
Pop 305.58
Vit 10.42

Baudline is a time-frequency browser designed for scientific visualization of the spectral domain. Signal analysis is performed by Fourier, correlation, and raster transforms that create colorful spectrograms with vibrant detail. Conduct test and measurement experiments with the built in function generator, or play back audio files with a multitude of effects and filters. The baudline signal analyzer combines fast digital signal processing, versatile high speed displays, and continuous capture tools for hunting down and studying elusive signal characteristics.

Download Website Updated 02 Apr 2004 jMusic

Screenshot
Pop 89.44
Vit 3.29

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.

Screenshot

Project Spotlight

GNU Ocrad

The GNU OCR program.

Screenshot

Project Spotlight

Geany

A fast and lightweight IDE using GTK2.