Simple Project List 軟體列表

102 projects in result set
最後更新: 2003-04-21 13:44


Klokka is a simple graphical clock. It should work on both Linux and Windows.

最後更新: 2022-01-13 09:26


CoTerminalApps contains colored-ascii-character games that run in a commandline terminal on msWindows, OS-X and Gnu/Linux.

Now with runtime-priority control of console terminal, in Windows.

They can also be rebuilt after installing the GNAT GPL Ada compiler.

Includes rpn(calculator), cinv(SpaceInvaders),cpac(Pacman), cfrog(Frogger) and 10 puzzle games that use ascii characters only: crush(rush-hour), cslid(klotski), c7(flat7), caz(flatAZ), csok(sokoban), chio(hole-in-one), chio4(hole-in-one+4), c9(nine), cdd(dirty-dozen), cpan(panama);

Keyboard setup is important. You should have a short key-delay and fast repeat rate setting.

Usable keys for all:

arrow-keys or WASD or IJKL for movement; (q)=quit (?)=help toggle

All puzzles & games can now be launched from the selector app thusly:

Windows: winterm.bat Mac/OSX: Linux:

最後更新: 2022-04-17 02:23


Reliquarium is a very unique set of four 3D slider puzzles, all with a Crystal Skull theme. Works on Macs running OSX and PCs running Windows or GNU/Linux.


* no installation
* no dependencies
* simply unzip in your Downloads directory, and run.

Development Status: 5 - Production/Stable
目標受眾: Developers, Education
自然語言: English
操作系統: MacOS, Linux, Windows
程式語言: Ada
Topics: Puzzle Games
使用者介面: OpenGL
Register Date: 2022-04-17 02:21
最後更新: 2022-04-17 01:58


AdaGate is a strategy game with escape rooms in a Stargate/NarbacularDrop fantasy setting. It is a fully elaborated example of modern OpenGL programming using the Ada language that runs on Windows, OSX, and GNU/Linux. And the new linux binary now runs on many linux distros!

While searching a remote south-seas atoll for remnants of a lost American heroine, you find a nearly operational stargate. If you can get it working, you will be transported into an off-world temple with multiple chambers. You'll need to power up the portal system by rolling alien power cells onto their sockets. Simple, right? Then use your portal gun to bypass obstacles through another dimension.

Escape all chambers to ascend to the lake sanctuary, where the level of difficulty is increased for your next game.

Development Status: 5 - Production/Stable
目標受眾: Developers, End Users/Desktop
自然語言: English
操作系統: MacOS, Linux, Windows
程式語言: Ada
使用者介面: OpenGL
Register Date: 2020-09-02 21:22
最後更新: 2022-04-17 02:15


RufasCube is NOT another Rubic's Cube. It's a much easier slider puzzle that is incrementally solvable. A 3x3x3 arrangement of cubelets with the center one missing allows sliding permutations. After a randomization, the goal is to restore the cube to its original configuration based on color and alphabetic hints. Now contains a smaller 2x2x2 cube called "Seven", that is an easier version.

Dragging the cursor rotates the cube for a better view angle.

Clicking the cursor on a cubelet adjacent to the empty space will slide it into that empty space. On laptops you may also hit (return) when the cursor is on the cubelet of choice to select and slide it. On MacBooks, a 2-finger tap on the touchpad works too.

Zooming can be done with a mousewheel, or a 2-finger drag on MacBooks.

As indicated on screen, (h) will toggle a help screen.

Uses FreeType font rendering & TrueType fonts.

Works on Macs running OS-X and PCs running Windows or GNU/Linux.
Note that both 32 and 64 bit builds for Windows are delivered.

Development Status: 5 - Production/Stable
目標受眾: Developers, End Users/Desktop
自然語言: English
操作系統: MacOS, Linux, Windows
程式語言: Ada
Topics: Puzzle Games
使用者介面: OpenGL
Register Date: 2020-09-04 04:11
最後更新: 2010-09-03 20:10

Ported tools for HDL

Windows(MinGWまたはCygwin)に移植した、Icarus VerilogとGHDLのバイナリを公開します。 ソースファイルからバイナリを作るためのmakefileとパッチもあります。

Development Status: 3 - Alpha
目標受眾: Developers
自然語言: Japanese
操作系統: Windows NT/2000, Windows XP
程式語言: Ada, C++, VHDL/Verilog
使用者介面: Command-line
Register Date: 2010-01-05 02:50
最後更新: 2022-01-29 22:29

Interval arithmetic for Ada

ライブラリは、Ada の間隔の実装を提供します。算術演算子とリレーショナル演算子が含まれています。ライブラリは、整数と浮動小数点数の範囲間隔をサポートします。寸法の間隔もサポートされています

(Machine Translation)
最後更新: 2020-05-19 21:09



最後更新: 2015-11-02 01:07


!ColdFrame は、UML モデルから Ada のフレームワークのコードとドキュメントを生成します。次の追加のアクセス許可を使って GPL バージョン 2 の下で、ソフトウェアが発行: 特別な例外として他のファイルこのユニットからジェネリックのインスタンス化や他のファイルと、実行可能ファイルを生成するためにこのユニットをリンクする場合このユニット自体ではなくが、GNU 一般公衆ライセンスによってカバーされる結果として得られる実行可能ファイル。この例外はしかしなぜ、実行可能ファイルの GNU パブリック ライセンスに覆われるかもしれない他の理由無効にしません。

(Machine Translation)
最後更新: 2004-03-08 16:49



(Machine Translation)
Development Status: 2 - Pre-Alpha
自然語言: English
操作系統: OS Independent
程式語言: Ada
使用者介面: Web Environment
最後更新: 2015-06-01 07:58

desmond core

新しいランタイム コア プラットフォーム

(Machine Translation)
Development Status: 1 - Planning
目標受眾: Advanced End Users
程式語言: Ada
最後更新: 2018-11-28 04:33


TeXCADは、LaTeX環境のためのドローツールおよびレタッチソフトウェアです。 LaTeXパッケージのクラス、スタイルシートなしで、オリジナルのイメージを作成することができます。 TeXCADコアはポータブルであり、MS Windows版が現在使えます。

最後更新: 2014-07-16 21:14


歌うためにツールを調整します。それすることができます曲を再生する MIDI と画面が演奏されているノートが表示されます。それはユーザーの声を分析し、同じ画面上に表示されます。多くの

(Machine Translation)
Development Status: 5 - Production/Stable
目標受眾: End Users/Desktop
自然語言: English, French
操作系統: Windows XP
程式語言: Ada
使用者介面: Win32 (MS Windows)
最後更新: 2022-01-29 22:27

Fuzzy sets for Ada

Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with conventional arithmetical operations, and linguistic variables and sets of linguistic variables with operations on them. String-oriented I/O is supported. A rich set of GTK+ GUI widgets is provided.

最後更新: 2022-01-29 22:28

Strings Edit

文字列編集、整数、浮動小数点数、ローマ数字と文字列の I/O 機能を提供するライブラリです。入力と出力の両方のサブルーチン結果ストリーム処理の文字列ポインターをサポートします。出力は、パディングと固定サイズ フィールドで整列できます。数値入力は、予期される値の範囲は飽和されるかまたは例外が発生に対してチェックすることができます。浮動小数点出力いずれか相対的または絶対的な出力精度を指定できます。ワイルドカードによるパターン照合、セットおよび大文字/小文字と他の Unicode の分類コード ポイントのマップを含む utf-8 エンコードされた文字列がサポートされます。

(Machine Translation)