プロジェクトシンプルリスト ソフトウェアダウンロードマップ

OCaml (Objective Caml)
96 件のプロジェクトが条件に合致します
最終更新日: 2014-05-26 21:55

Zero Install Injector

Zero Installは、分散クロスディストリビューションのソフトウェアインストールシステムです。これは、共有ライブラリ、自動更新、およびデジタル署名などの一元的なディストリビューションのリポジトリから馴染みの機能をサポートしながら、ソフトウェア開発者が、直接自分のWebサイトからプログラムを公開することができます。それは補完ではなく、交換して、オペレーティング·システムのパッケージ管理することを意図している。 0installパッケージがディストリビューションで提供されるものと干渉することはありません。

最終更新日: 2007-08-08 04:32

OMake

OMake はビルド システムと同様のスタイルと GNU する構文とスクリプト言語ですが複数ディレクトリにまたがる大規模なプロジェクトのサポートなど、多くの追加機能と、高速で、標準のコンパイル タスクを簡素化する既定の構成ファイル MD5 を使用して信頼性の高い、自動化スクリプト依存関係の分析、ダイジェストを定義して自動構成のテスト、移植性と grep のようなプログラムの最も一般的な機能を提供する組み込みの機能を実行するための組み込みサポート、セッドと awk。また、アクティブなファイルシステムのソース ファイルが変更されたときの再起動が自動的にビルドを監視します。対話的に使用することができます、コンパニオン コマンド インタプリタが含まれます。

(機械翻訳)
最終更新日: 2013-10-21 00:13

libguestfs

libguestfsは仮想マシン(VM)のディスクイメージにアクセスしたり、書きかえたりするためのツール群です。ゲストのファイルの閲覧・編集、VMへの変更のスクリプト化、ディスクの使用状況のモニタリング、P2V、V2V、部分バックアップ、VMのクローニングなどいろいろなことができます。libguestfsを使うことにより、ほとんどすべてのタイプのファイルシステムにアクセスできます: 例えば、ext2/3/4、XFS、btrfsなどのよく知られたLinuxのファイルシステム、VFATやNTFSといったWindowsのファイルシステム、Mac OS XやBSDのファイルシステム、LVM2ボリューム、MBRやGPTといったディスクパーティション、rawディスク、qcow2、CDやDVDなどのISOイメージ、SDカードを始めとする様々なものが含まれます。そしてlibguestfsを使うときにroot権限は必要ではありません。

最終更新日: 2014-04-15 22:07

llpp

llpp は、MuPDF ベース PDF ページャーです。

(機械翻訳)
オペレーティングシステム: FreeBSD, Linux
プログラミング言語: C, OCaml (Objective Caml)
トピック: Freecode.com
ユーザインタフェース: OpenGL
最終更新日: 2014-04-03 17:38

Capstone

絶頂はバイナリ分析のための究極の disasm エンジンになると、セキュリティ コミュニティに反転のターゲットと分解フレームワークです。Windows、Mac OS X、Linux, FreeBSD, OpenBSD と Solaris 上で実行、それ腕、ARM64 を分解することができます (ARMv8)、MIPS、PPC は、x 86 アーキテクチャ。絶頂は有用なセマンティック情報と共に逆アセンブル命令についての豊富な詳細を提供します。

(機械翻訳)
最終更新日: 2013-02-03 18:40

Wyrd

Wyrdは、強力なカレンダー、アラームアプリケーションをリマインド·ためのcursesのフロントエンドです。ディスプレイは一目であなたのスケジュールを可視化するための適切なスクロール可能なタイムテーブルを備えています。Wyrdは、アラームファイルの編集をより効率的にするためにお好みの外部エディタと統合され、迅速に最も一般的なオプションをリマインド·にアクセスするホットキーを提供しています。その他の機能は豊富な設定機能、muttライクなインタフェースの設計、最小限のリソース要件が含まれています。

最終更新日: 2014-05-14 22:48

LibreS3

!LibreS3 は、Amazon S3 サービスの堅牢なオープン ソース実装 S3 REST API のサブセットをサポートします。標準の S3 クライアント ライブラリおよびツール (s3cmd、!DragonDisk、python ボト例など) へのアクセスに使用することができます。!LibreS3 は自動的に提供するデータ重複除外、レプリケーション、ストレージのバックエンドとして Skylable SX を使用します。

(機械翻訳)
オペレーティングシステム: FreeBSD, Linux
プログラミング言語: OCaml (Objective Caml)
トピック: Freecode.com, ストレージ
最終更新日: 2012-06-12 21:54

Opa

Opa web 開発プラットフォームです。それは、プログラミング言語、Web サーバー、データベース、および分散実行エンジンが装備されています。これらのすべてはしっかりと統合されています。

(機械翻訳)
オペレーティングシステム: MacOS, Linux
プログラミング言語: OCaml (Objective Caml)
最終更新日: 2013-07-25 00:19

CIL (C Intermediate Language)

CIL はプログラム解析・変換を容易に C 言語のフロント エンドです。CIL は解析し、入力時にプログラム c. の簡単なサブセットにコンパイルたとえば、CIL では、すべてのループが 1 つのフォームを与えられたし、副作用がある式がありません。これは C プログラムを操作するときに考慮する必要がありますケースの数を減らします。CIL は CCured、C プログラムのメモリを安全になるツールを含む、プロジェクトのさまざまな使用されています。ANSI C で、GNU C コンパイラおよび Microsoft C コンパイラの拡張機能のほとんどをサポートしています。Perl スクリプト gcc またはマイクロソフトの cl との交換として機能し、プロジェクト内のソース ファイルをマージできます。その他の機能の制御フローのサポートが含まれます、ポイントを解析します。

(機械翻訳)
最終更新日: 2014-02-21 23:43

any-dl

任意 dl はドメイン固有言語を使用して各動画サイトから動画をダウンロードする方法について説明を一般的なビデオのダウンローダー ツールです。

(機械翻訳)
オペレーティングシステム: Linux
プログラミング言語: OCaml (Objective Caml)
トピック: Freecode.com
最終更新日: 2012-10-04 21:45

Frama-C

Frama-CはCで書かれたソフトウェアのソースコードの解析するためのツールのスイートです。Frama-Cは単体の協調的なフレームワークとしていくつかの静的解析技術を寄せ集めています。協調的なアプローチはフレームワーク内の他のアナライザで既に計算された結果の上に静的解析器を構築することを可能にします。これは、スライサーと依存関係の分析などの高度なツールを提供します。

主要対話語: 英語
オペレーティングシステム: MacOSX, Linux, Windows
プログラミング言語: C, OCaml (Objective Caml)
トピック: Freecode.com
最終更新日: 2005-02-17 20:43

Confluence System Design Language

Confluence は、FPGA、ASICそしてハードリアルタイム ソフトウェアを含む反応システムの設計用の関数型プログラミング言語です。 Confluenceのシステムの記述は大きな情報量/行数比を持ちます。 通常 Verilog に比べ 2〜5倍以上コンパクトに記述されます。Confluenceの単一のソースコードはVerilog, VHDL, C あるいは NuSMV にコンパイルすることができます。

オペレーティングシステム: POSIX (Linux,BSD,Solaris など)
プログラミング言語: OCaml (Objective Caml)
最終更新日: 2008-02-13 05:44

Virt-P2V

Virt-P2VはLiveCDかpxebootイメージとして提供されるプログラムで、物理マシンをゲスト仮想マシンにマイグレーションします。 このプログラムをつかうことで、LinuxボックスをXenやQEMU、KVMの仮想マシンに変換することができます。

最終更新日: 2013-09-12 23:23

bibtex2html

bibtex2html は、!BibTeX の参考文献を HTML に変換するためのツールのコレクションです。ハンドル任意 !BibTeX のスタイル (であっても複数書誌の生産)、追加のフィールドを使用することができます (ような「抽象的」、"url"と"ps") Web を挿入するリンク、リンクの相互交換参照のさまざまなフィールドを並べ替える、簡単な (La) TeX マクロを処理、!BibTeX ファイル内の構文エラーの識別および !BibTeX エントリを特定の条件に基づいてフィルター処理します。

(機械翻訳)
オペレーティングシステム: OS非依存
プログラミング言語: OCaml (Objective Caml)
ユーザインタフェース: Web環境
最終更新日: 2007-02-05 00:09

Cameleon for OCaml

Cameleon は Objective Caml、最終的に他の言語、統合開発環境です。グラフィカル ユーザー インターフェイス、CVS へ簡単にアクセスの閲覧・ ドキュメント、さまざまなエディター、カスタマイズ可能なファイルの種類、プラグイン アーキテクチャ、および高度にカスタマイズ可能なインターフェイスに基づく構成管理が備わっています。

(機械翻訳)