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

Cython

Cython 0.23 更新

Cythonは、オープンソースのライブラリソフトウェアはPythonで実装され、Python言語との完全な互換性、および非常に使いやすいですCの拡張機能を記述するためのプログラミング言語として設計されています。人気のパイレックスプロジェクトに基づいている、Cythonは操作されているglanceCythonでエッジの最適化とfunctionality.Featuresを切断サポートソースコードの翻訳者、として作用することができるような方法のように、クラスや変数の属性のC型の宣言サポートありよく、簡単かつ迅速...

PyRuby

PyRuby 1.0.0

PyRubyは、Pythonのコードをより読みやすく、美しくするためにルビーの力を活用するための簡単​​な方法を提供するPythonライブラリです。PyRubyは開発の初期段階にとどまっていることに注意してください。ご自身の責任でそれを使用します。 要件:ます。 ...

rpdb

rpdb 0.1.2

RPDBは、基本的にそのソケット·ハンドラに再ルートstdinとstdoutの意志PDBの周りのPythonラッパーです デフォルトでは、ポート4444上でデバッガを開きます。:輸入RPDB。 rpdb.set_trace()しかし、あなたは単に手動でRPDBをインスタンス化することによってそれを変更することができます。輸入RPDBデバッガ= rpdb.Rpdb(12345)debugger.set_trace()これは、Jythonの2.5はPython 2.5とPython...

hgcp

hgcp 0.12

hgcpはMercurialのクロスreposititoryコピーと移動の機能を提供するツールです。開発者のコ​​メントパッケージをリファクタリングすると、私は時々彼らの歴史を保持したまま別のMercurialのリポジトリからいくつかのファイルをコピーする必要性を見つける。あなたが方法を知っていれば、これは行うことは難しいことではありませんが、それは些細な操作ではありません。だから、私はhgcpを作成しました。...

HOL

HOL 7

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

Nemiver

Nemiver 0.9.5

Nemiverはオープンソースであり、compltely無料のグラフィカルなソフトウェアプロジェクトは、C ++ / GTK +で実装され、とのbackend.Integratesとして素晴らしいGNUデバッガ(GDB)を使用するスタンドアロンのCおよびC...