トップ 開発者用ツール のために Linux

QtはあなたがUnixのための使いやすいインストーラを作成することができますのために BitRock InstallBuilder、アプリケーションのために生成されたインストーラに WindowsとOS...

ヴィーノはORMではありません。はい、それはそれはORMはないが、本当だ。はじめようのヴィーノとクイックビュー：＃セットアップ＃DB =ヴィーノ（ 'エンジン：//ユーザー：のpasswd @ホスト：ポート/データベース'）DB =ヴィーノ（ 'sqliteを：//db.sqlite'）＃クエリdb.table（ 'ユーザー'）。（ユーザー名=...

PyODBCSQLServer2000Databaseは、ODBC のこのリリースのの新しいものを介してDatabasePipeパッケージのSQL Server 2000のドライバです。 難読化機能します。 の の新機能バージョン0.2.0で： DatabasePipe 2.2.0で動作するように更新要件 の要件の ...

checkoutmanagerは設定ファイルに応じていくつかの場所でのbzr / HG / gitの/...

jongos自動にファイルJSONを実行し、ロードするためのツールです：Pythonのjongos.py 。のロードJSONファイルの> db.load（ "file_name.json」）の現在ロードされたJSONファイルを更新します。の> db.refresh（）の現在ロードされたJSONファイルに現在のインメモリDBを保存の> db.save（）保存クエリ結果のJSONファイルのように> db.capture（ "save_to_file_name.json」）余分：どんなdb.find（）/...

reviewboard-svnの-フックは、Subversion Pythonで記述するreviewboard用（別名SVN）のフックを、提供するツールです。の参照の - Subversionと審査委員会の統合 - 転覆のためのpre-commitフック の要件の ...

このHOL短い高階論理の定理を証明し、証明ツールを実装することができるプログラミング環境である。内蔵の決定手順や定理証明は、自動的に多くの単純な定理を確立することができます。オラクルのメカニズムは、SATとBDDエンジンなどの外部プログラムへのアクセスを提供します。HOL 4は控除、実行とプロパティのチェックの組み合わせを実装するためのプラットフォームとして特に適している。 のこのリリースではの新機能：ます。 HolSmtLibは今も固定幅単語やSMT-LIB...

NCBI C ++ツールキットは、制限なしで無料で、携帯用の、パブリックドメインライブラリを使用しています。これは、Unix、MS Windows、およびMac OSのプラットフォームで動作します。ยทネットワーキングおよびプロセス間通信（IPC）のiostreamアダプタとライブラリยทマルチスレッドライブラリのยทのCGIとFast-CGIライブラリยทHTML生成ライブラリยทSQLデータベースアクセスライブラリBerkeleyDBのためのยทC ++ラッパーライブラリยทC ++...

CruxPorts4Slackは「ポート」を適応し、「にpkgmkは「SlackwareのでCruxのためのポートリポジトリを使用できるようにするためのコマンド。はBSD Unixの世界でportsシステムは、ディレクトリ階層を意味し、（Ususallyに/下/ポート）に...

Javaツールの作成、コンパイル、およびJavaアプリケーションおよびアプレットを実行するための軽量の統合開発環境です。Javaツールは、ポイントが含まれており、Javaファイル、コマンド、およびドキュメントへのアクセスをクリックします。また、Javaデバッガ用ビルトインテキストエディタとユーザインタフェースを含む。それは始めるの助けを必要と新しいJavaユーザーを対象としています。 ...