Simple Project List 軟體列表

8946 projects in result set
最後更新: 2010-09-24 09:50

STP

STP(Simple Theorem Prover) :プログラム解析ツール、テスト生成ツール、モデル検査器、バグ発見器、ハードウェア/ソフトウェアに対する形式検証ツール、インテリジェント fuzzer などの出力である論理式や制約についての制約ソルバ/決定手続き

最後更新: 2007-06-13 20:07

WSDL for C++ Toolkit

C++ のツールキット (WSDL4CPP) のための Web サービス記述言語では、創造、表現、および WSDL ドキュメントの操作ことができます。それは WSDL4J ツールキットの C++ ポートです。

(Machine Translation)
Development Status: 4 - Beta
自然語言: English
程式語言: C++
使用者介面: Other toolkit
最後更新: 2012-07-25 10:48

setacl

SetACLは、Windowsシステム上でコマンドラインもしくは自作のスクリプト等からパーミッション(ACL)を操作するコマンドラインツールです。Explorerで設定できるすべての項目について操作が可能です。

最後更新: 2005-12-20 07:07

Open Workbench

開いた仕事台は作業分解構造、依存関係を設定を定義することができますプロジェクト管理およびスケジュールするためのデスクトップ アプリケーションとリソースの制約、リソース タスクを割り当てる、自動スケジュールし、進行状況の監視。

(Machine Translation)
最後更新: 2019-05-16 03:24

International Components for Unicode

ICUは、ソフトウェアの国際化とグローバル化 ((i18n/g11n)、UnicodeのサポートのためのC/C++およびJavaのライブラリセットです。このパッケージは、メインwebサイトの http://www.icu-project.org のミラーです。

最後更新: 2013-05-29 20:12

Cern Root debs for Ubuntu/64 and 32bits

詳細な情報を移動する http://cernrootdebs.sourceforge.net Ubuntu/64/32 ビットの Cern ルート パッケージ ソフトウェア。このパッケージは、/usr/local にインストールするつもりです。有効: minuit2 ルーフィット unuran tmva 5.34.01 からのサポートの基礎、吹いて、builtin_afterimage、builtin_lzma、cintex、explicitlink、fftw3、fitsio、gviz、genvector、krb5、ldap、mathmore、memstat、minuit2、mysql、opengl、python、反射、ルーフィット shadowpw を有効に、共有、ssl、tmva、unuran、x11、xft、xml。

(Machine Translation)