Semantic search

Jump to: navigation, search
Search

Edit query Show embed code

The query [[Uitoolkit::gtk]] was answered by the SMWSQLStore3 in 0.0081 seconds.


Results 11 – 20    (Previous 10 | Next 10)   (20 | 50 | 100 | 250 | 500)   (JSON | CSV | RSS | RDF)


Caro
A gomoku-like game with addtional rules: A player can only win if: - He/she has exactly 5 continuous pieces (no more or less) - These pieces have at least a head or tail not being blocked by the opponent's piece There are 2 modes: 1 player (vs AI) and 2 players
Castle Game Engine
Castle Game Engine is a cross-platform 3D and 2D game engine for Object Pascal (FPC and Lazarus). - It supports many formats for game assets, including X3D, VRML, Collada, Spine JSON, MD3 and others. - Many graphic effects are possible, including bump mapping, shadows, shaders, mirrors, screen effects. - Animation, collision detection, 3D sound and more features are available. - An extensible system of 3D objects can be used, with out-of-the-box levels, items, intelligent creatures and more. - The engine is portable -- for desktop, mobile, web plugin. The engine is also used to develop view3dscene - a full-featured X3D / VRML browser and a viewer for many other 3D and 2D game formats.
Claws Mail
Claws Mail is an email client (and news reader), based on GTK+, featuring :
  • Graceful, and sophisticated interface
  • Easy configuration, intuitive operation
  • Abundant features
  • Extensibility
  • Robustness and stability
The appearance and interface are designed to be familiar to new users coming from other popular email clients, as well as experienced users. Almost all commands are accessible with the keyboard. The messages are managed in the standard MH format, which features fast access and data security. You'll be able to import your emails from almost any other email client, and export them just as easily.
Commandoo
NOTE: 5 May 2020 -- After release of 20.04 versions of Linux softwares the listed downloads will not work. I am preparing an AppImage to fix this issue which should also allow it to be used in a much wider range of Gnu-Linux versions and will provide improved and new features and many bug fixes. Check back soon. 29 May 2020 -- The downloads for the old version have been removed from the github page. They are still available at the new version download link. Those downloads will still work as advertised in, for example, Kubuntu 18.04. However, a bug limits its use to english language locale. And there are missing features and a couple other minor-ish bugs. These are being addressed and so I recommend waiting for the new commandoo version and then upgrading to a 2020 linux version. This is a GUI program designed to help the newcomer (and veteran) with the Command Line Interface (CLI). It is designed to be a 'helper' in the sense that one can store favorite / useful commands for quick retrieval and use later. It is designed to be a reference as well, it has a 'starter' database of 170+ GNU/ Linux commands.
Coq
A proof done with Coq is mechanically checked by the machine. In particular, Coq allows:
  • to define functions or predicates,
  • to state mathematical theorems and software specifications,
  • to develop interactively formal proofs of these theorems,
  • to check these proofs by a relatively small certification "kernel".
Criawips
Criawips aims to become a full featured presentation application that offers the perfect platform both for small presentations used to explain a few things to other people and for big presentations used for commercial presentations.
DMBCS Trader Desk
Lightning fast application for interactively exploring historical stock market prices.
Denemo Heckert gnu.tiny.png
Denemo is a music notation editor that provides a convenient interface to the powerful music engraving program Lilypond. Music can be typed in using the computer keyboard, played in using a MIDI keyboard, or even input via a microphone connected to the sound card. Denemo itself does not engrave the music - it uses LilyPond which generates beautiful sheet music to the highest publishing standards. The final product is publication-quality music notation that is continuously generated in the background.
DnDD
I named this program DNDD. Abbreviation for discussion & democratic decision making. DNDD is a Mysql client program. DNDD is also a bulletin board program focused on decision making procedure. You can use DNDD as a normal bulletin board or as a platform for some group of people to discuss some serious matters and decide what to do. Because DNDD have innate ability to vote and calculate votes, you can use it for class chief election or board meeting.
Dont Hang
“Don’t Hang” is a simple hangman game for acquiring and consolidating a basic vocabulary in a foreign language. It supports loading custom word lists and works with Unicode and bidirectional text. It also supports pasting characters from the clipboard.


Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.