RSS 1596 projects tagged "Mac OS X"

Download Website Updated 05 Mar 2007 .icns

Screenshot
Pop 46.95
Vit 1.43

.icns allows you to use Mac OS X .icns icon files as easily as PNG pictures in GTK+ applications (custom icons, etc.)

Download Website Updated 22 Aug 2010 0release

Screenshot
Pop 47.67
Vit 2.10

0release is a program to generate source and binary releases automatically. With minimal configuration, 0release will generate a source tarball release candidate, build it to create a binary archive, upload them to your Web server, check the uploads, and tag the release in GIT and update the version number. It can run unit-tests and custom actions, such as building documentation, etc. For Zero Install users, it can also upload a signed XML metadata file about the release, allowing these users to upgrade automatically. Releases are signed with your GPG key.

Download Website Updated 08 Aug 2005 2D/3D Stacked Horizontal Bar Graph for PHP

Screenshot
Pop 32.56
Vit 1.00

2D/3D Stacked Horizontal Bar Graph for PHP provides a very easy way to embed dynamically generated stacked horizontal bar graphs and charts into PHP applications and HTML Web pages. The graphing software is very easy to use and it's perfectly possible to add professional quality real time graphing to Web pages and applications within minutes.

Download Website Updated 06 May 2004 3D Stacked Vertical Bar Graph

Screenshot
Pop 39.95
Vit 1.00

3D Stacked Vertical Bar Graph provides both a client and server side solution for the incorporation of bar graphs into Web pages. Its versatile components enable Web authors and Java developers to easily build and publish dynamic and interactive bar graphs.

Download Website Updated 20 Oct 2003 3DScheme-Anim

Screenshot
Pop 23.79
Vit 59.16

3DScheme-Anim is a 3D modeler in Scheme with animations.

Download No website Updated 26 Dec 2006 4Suite XML

Screenshot
Pop 85.02
Vit 2.43

4Suite XML is a Python-based toolkit for XML application development. It features a library of integrated tools for XML processing, implementing open technologies such as DOM, SAX, XPath, XSLT, XInclude, XPointer, XLink, XUpdate, RELAX NG, and XML/SGML Catalogs. The RDF and Repository components of 4Suite are separate packages that must be installed separately, on top of 4Suite XML.

Download Website Updated 16 Apr 2013 4tH compiler

Screenshot
Pop 325.37
Vit 33.94

4tH is a Forth compiler with a little difference. Instead of the standard Forth engine it features a conventional compiler. 4tH is a very small compiler that can create bytecode, C-embeddable bytecode, standalone executables, but also works fine as a scripting language. It supports about 95% of the ANS Forth CORE wordset and features conditional compilation, pipes, files, assertions, forward declarations, enumerations, structures, suspended execution, recursion, include files, etc. It comes with an RPN calculator, line editor, preprocessor, compiler, decompiler, C-source generator, a virtual machine, and a multitasking environment.

Download Website Updated 08 Mar 2012 ABC Path Solver

Screenshot
Pop 26.66
Vit 2.43

ABC Path Solver is a Perl program and library that automatically solves an ABC Path game while giving the reasoning. ABC Path is a puzzle game in which one should position the letters from "A" to "Y" in a 5*5 grid based on clues. It is featured in brainbashers.com. ABC Path Solver uses a mixture of deduction and solving by trying several branches, which should allow it to solve all initial boards.

Download Website Updated 01 Aug 2004 ACFTools

Screenshot
Pop 72.28
Vit 2.02

ACFTools is a utility for manipulating X-Plane flight simulator aircraft and weapon models without using its Plane Maker. It can decode both Apple and Intel ACF/WPN formats into plain text files with a syntax similar to C, which can be edited and then re-converted into binary data. It is able to extract almost complete 3D models of aircraft (fuselage, floats, tanks, wings, stabs, propellers, engines) and write it in AC3D modeler format. Edited 3D parts can then be merged into plain text and consequently converted into binary ACF files.

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 87.36
Vit 5.65

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

Screenshot

Project Spotlight

Sanewall

A powerful and easy-to-use firewall builder for Linux which uses an elegant language.

Screenshot

Project Spotlight

libXbgi

A BGI-compatible library for X11.