Now limiting view to projects in the following categories:
Maemo/Tablet OS version :: OS2008 [Remove This Filter]
Operating System :: Other OS [Remove This Filter]
Intended Audience :: End Users/Desktop [Remove This Filter]
Operating System :: POSIX :: Linux [Remove This Filter]
Development Status :: 2 - Pre-Alpha [Remove This Filter]
2 projects in result set.
1. Sócrates - Sistema de auxÃlio ao ensino da dedução natural e tableau semântico (lógica proposicional).
O usuário poderá:
- provar argumentos usando as regras de inferência da lógica proposicional
- geração de tableaux semânticos a partir de fórmulas
| - Development Status: 2 - Pre-Alpha (Now Filtering)
- Environment: Maemo [Filter]
- Intended Audience: End Users/Desktop (Now Filtering)
- License: GNU General Public License (GPL) [Filter]
- Maemo/Tablet OS version: OS2008 (Now Filtering)
- Operating System: Other OS (Now Filtering) , Linux (Now Filtering)
- Programming Language: C++ [Filter]
- Topic: Education [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2008-11-07 12:25 |
2. Lama RemoteN900 - Its a simple program to control your PC(Linux for now) with WiFi, through simple python scripts. It consists of two scripts the first run on N900 and the other runs on PC.
| - Development Status: 2 - Pre-Alpha (Now Filtering)
- Environment: No Input/Output \(Daemon\) [Filter] , Maemo [Filter]
- Intended Audience: End Users/Desktop (Now Filtering) , Other Audience [Filter]
- License: GNU General Public License (GPL) [Filter]
- Maemo/Tablet OS version: OS2008 (Now Filtering)
- Natural Language: English [Filter]
- Operating System: Other OS (Now Filtering) , Linux (Now Filtering)
- Programming Language: Python [Filter]
- Topic: Monitoring [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2010-09-24 15:53 |
|
Development Status