OSI-Approved Open Source (2,942)
- GNU General Public License version 2.0 (106)
- GNU Library or Lesser General Public License version 3.0 (42)
- BSD License (20)
- Apache License V2.0 (16)
- MIT License (16)
- Affero GNU Public License (14)
- GNU Library or Lesser General Public License version 2.0 (14)
- European Union Public License (11)
- Mozilla Public License 1.1 (8)
- Artistic License 2.0 (7)
- Academic Free License (5)
- Mozilla Public License 2.0 (4)
- PHP License (4)
- Open Software License 3.0 (3)
- Boost Software License (2)
- Other License (31)
- Creative Commons Attribution License (17)
- Public Domain (6)
- Grouping and Descriptive Categories (2,942)
- Linux (2,942)
- Mac (2,942)
- Windows (2,942)
- BSD (146)
- Modern (143)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
Modular Security application. This application will be a full Grails plug-in. It will handle, users, groups, roles, permitions and logging of user actions.
Home automation project
You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter what you need (minutes, data, texts) into Wirefly’s innovative plan comparison tools and see your savings instantly.Sponsored Listing
The Ambient Music Player project is a lite version of Amarok for handhelds based on the Google Android environment.1 weekly downloads
Web-based outpatients managing software1 weekly downloads
Amnesia is a design-rich 'host-proof' web application that encrypts and remembers all sorts of personal information from passwords to private notes. Project now hosted at Google Code: https://code.google.com/p/amnesia-app/
A realtime collaborative mind-mapping project. AmoebaChat allows the user to send and receive chat-style messages in an interconnected graph. This allows for a new way of communicating between parties that hasn't been explored yet.
A Simply CSS that automated add and create defa manager style shadow
Ampare Copy Protection is a simple jquery prevent newbies copy content
Student Progress Analyzer.
Hier wird die Versionsverwaltung (SVN) für die LaTeX-Mitschrift der Vorlesung "Analysis für Informatiker und Statistiker" gehostet. Diese findet im WS 2009/2010 an der LMU München statt.
Compare gene analysis results from 23andme with the human genome10 weekly downloads
Anathema has moved to http://anathema.github.com4 weekly downloads
A toolkit for some Android sms/call Apps, base64 encoder, vcf parser a5 weekly downloads
Create a single adb backup for each app /sd and inform of missing apks16 weekly downloads
Screen capturing tool for Android handsets connected via USB to a desktop/laptop. It is great for fullscreen presentations, product demos, automatic screen recording, or just a single screenshot. Without root.573 weekly downloads
Cross browser userscript to download videos from YouTube in various formats and sizes available. Find size of videos before downloading (http://pradip.x10.mx/index.php/download-details/36/Helper) Check Readme.txt in Files section for installation instructions.21 weekly downloads
Antares is a 3D game of trading/space combat, in the line of Elite or Frontier. Some things you can do travelling with your spaceship include trading of goods, piracy, smuggling, mail delivery, different kind of missions... It is in pre-alfa state.3 weekly downloads
Pseudo-anonymous and secure social networking
4MLinux fork including ClamAV scanner499 weekly downloads
Any Serial Port is a handy, simple serial port programming language to simplify the development of RS232 based applications and It makes it easy not only to communicate with the serial port but also to perform data parsing and extraction
Apolmb is a simple PHP- and Flash-only media browser/viewer for online directories. In the current version it shows images and plays audio and video content. Apolmb is based on OpenLaszlo.
Apousiologos for local networks1 weekly downloads
PHP based Web Application for handling and managing documents of all types (pictures, documents, videos, sounds ...). Multi-users, online shop, printing and downloading features.
Here is Archii (Automation and Remote Control for Home Intelligence and Interactivity). This french project proposes a set of Web Services dedicated to creation of a smarter house. It uses open-source products such as Petals ESB, FreeTTS...