Now limiting view to projects in the following categories:
Intended Audience :: End Users/Desktop [Remove This Filter]
Operating System :: POSIX :: Linux [Remove This Filter]
Maemo/Tablet OS version :: OS2008 [Remove This Filter]
Programming Language :: C++ [Remove This Filter]
4 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 [Filter]
- 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 [Filter] , Linux (Now Filtering)
- Programming Language: C++ (Now Filtering)
- Topic: Education [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2008-11-07 12:25 |
2. qquiz - A quiz and a timer, can you make it in time?
| - Environment: Maemo [Filter]
- Intended Audience: End Users/Desktop (Now Filtering)
- License: GNU General Public License (GPL) [Filter]
- Maemo/Tablet OS version: OS2008 (Now Filtering)
- Natural Language: English [Filter]
- Operating System: Linux (Now Filtering)
- Programming Language: C++ (Now Filtering)
- Topic: Education [Filter] , Games/Entertainment [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2010-02-09 02:05 |
3. gCardSys -- A Leitner Learning System - gCardSys is a Leitner Flashcard Learning System, similar to granule. It can be used to study vocabularies on your N8x0 device.
gCardSys uses granule's deck file format. You can make your own .dkf files or download some from the granule website.
| - Development Status: 5 - Production/Stable [Filter]
- Environment: Maemo [Filter]
- Intended Audience: End Users/Desktop (Now Filtering)
- License: GNU Lesser General Public License (LGPL) [Filter]
- Maemo/Tablet OS version: OS2008 (Now Filtering)
- Natural Language: English [Filter]
- Operating System: Linux (Now Filtering)
- Programming Language: C [Filter] , C++ (Now Filtering)
- Topic: Education [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2011-04-12 01:02 |
4. MVerbiste - MVerbiste is a effort to bring Verbiste, a program to help conjugate French verbs, to Maemo & MeeGo.
| - Development Status: 5 - Production/Stable [Filter]
- Environment: Maemo [Filter]
- Intended Audience: End Users/Desktop (Now Filtering)
- License: GNU General Public License (GPL) [Filter]
- Maemo/Tablet OS version: OS2008 (Now Filtering)
- Natural Language: English [Filter]
- Operating System: Linux (Now Filtering)
- Programming Language: C++ (Now Filtering)
- Topic: Education [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2012-10-30 08:04 |
|
Computer Aided Instruction (CAI)