Sat

apercu is a command-line application to summarize information from Apache logs, including hit counts, requests, referrers, and user activity. Example Output Hit Count A summary of the hits this week: % apercu --count --time=thisweek /var/log/apache2/access-2006_log hits by time year... Platforms: *nix

Flashcards Generator for GRE Prep project is a flashcards Generator for GE Prep. Flashcards are a nice way to prepare for competitive exams like GRE, SAT etc. This program generates Postscript files which you can cut into pieces to create flashcards. When preparing for competetive exams which... Platforms: *nix

HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access to external programs such as SAT and... Platforms: *nix

PHP System Administration Toolkit is a toolkit/framework for the rapid development of system administration Web interfaces in PHP. PHP System Administration Toolkit will provide easy access to, for example, LDAP/xSQL servers.. Get SAT - PHP System Administration Toolkit at SourceForge.net. Fast,... Platforms: *nix

This driver gives you the capability to work with the MediaFocus Satellite TV card under Linux. This driver contains modules for Zorans multimedia controller ZR36120/ZR36125, Micronas Intermetall Video Pixel Decoder VPX32XX series, Digital Radio Processor DRP3510 (astra digital radio decoder),... Platforms: *nix

GNOME Word of the Day is a GNOME applet that displays a new vocabulary word each day. No one likes to be lost in a sea of unknown words. With GNOME Word of the Day Applet, your vocabulary will evince perennial growth. Its a must when preparing for the SAT or GRE tests and for improving both... Platforms: *nix

WikiChump listens in an IRC channel like a traditional bot and adds the information to a wiki in realtime. A chump bot sits in an IRC (Chat) channel and remembers any URL (web addresses) that people say. It displays them on a web page for later reference. I spend time in #infoanarchy on the... Platforms: *nix

MenuMeters is a set of CPU, memory, disk, and network monitoring tools for Mac OS X. Although there are numerous other programs which do the same thing, none had quite the feature set I was looking for. Most were windows that sat in a corner or on the desktop, which are inevitably obscured by... Platforms: Mac

ZX Spectrum Emulator for Windows and .net - The emulator currently supports ZX Spectrum 48k tzx tape files and tape deck emulation, Sound, Basic, Snapshot saving game loading and more ...other supported file formats include tzx sna z80 tap wav. "Remember the days when keys stuck down, the kettle... Platforms: Windows

Automesher application extends AutoCAD and BricsCAD software with functionality to import and export 3D file formats and convert 3D drawing entity types. It supports many of 3D file extensions, including STL (Stereolithography), OFF (Object File Format), OBJ (Alias Wavefront Object), 3DS... Platforms: Windows

Send web messages and settings to your dreamboxes in massive way. Useful if you admin more dreamboxes Platforms: Windows

CadFaster|QuickStep is a free 3D STEP viewer with professional-class features. Supports standard file formats such as STEP and HSF. Users may choose between OpenGL and DirectX drivers. CadFaster|QuickStep rendering is highly optimized and user interface is perfect for interactive 3D model... Platforms: Windows

Shopping Cart System store and site builder is an e-commerce or web site solution software for creating Web Store to be posted on the Internet. The purpose of this store builder is to provide an easy-to-use interface that automatic creates all the HTML files necessary to run your store. Any... Platforms: Windows

improve your vocabulary with FlashCards. Multilingual vocabulary for SAT, GRE, ESL, TOEFL, IELTS, GMAT, KPDS, UDS. English to Arabic,Chinese,Dutch,German,Indonesian,Italian,Japanese,Korean,Portuguese,Russian,Spanish,Thai,Swedish,Turkish,Vietnamse... GMAT (1200 words), GRE (6000 words), SAT (8000... Platforms: Windows

ProgDVB - the universal and very power software for watching digital TV and listening to radio channels. Support for various types of data sources: * Internet TV and Radio. About 4000 channels in the list. * DVB-S (satellite), DVB-S2, DVB-C (cable), DVB-T, ATSC, ISDB-T * IPTV * Analog... Platforms: Windows

DreamBoxTools - a program for tuning your DreamBox satellite receiver. Control your receiver right from the computer. Main features: - Lyngsat-to-Dreambox transponders parser. Update satellites.xml directly from the site Lyngsat.com - Satellite filter - Europe, Asia, Atlantic, America, only HD,... Platforms: Windows, Other, Not Applicable

This project contains two different Binary Decision Diagrams (BDD) libraries: JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy. JDD: a native Java library supporting BDD, Z-BDD and more (graph/automata/Petri nets/SAT) Platforms: Windows, Mac, Solaris, Linux

World Wind lets you zoom from satellite altitude into any place on Earth. Leveraging Landsat satellite imagery and Shuttle Radar Topography Mission data, World Wind lets you experience Earth terrain in visually rich 3D, just as if you were really there. Virtually visit any place in the world.... Platforms: Windows, C/C++,

The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism. It solves problems efficiently by converting them into satisfiability (SAT) problems. Features: - Comes... Platforms: Windows, Mac, *nix, C/C++, BSD Solaris

The routine parses a TLE file and extracts informations from a selected satellite.It then calls the SGP4 propagator, converts the orbit in the ECI reference into Earth Centered Earth Fixed and also into Lat Long Heigth.This subroutine includes an example of the ENVISAT satellite in which the... Platforms: Matlab