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

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

Zero Install Injector

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

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

llpp

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

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

Capstone

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

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

Wyrd

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

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

OMake

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

(機械翻訳)
最終更新日: 2007-09-14 05:28

Orpie

OrpieはコンソールのフルスクリーンRPN電卓です。その操作は現代的なHP電卓に似ていますが、データ入力はPCキーボードで効率的なように最適化されています。その特徴には広範な電卓機能、単位のサポート、ベース変換、コマンドの補完、設定キーバインド、可視インタラクティブスタックを含んでいます。

オペレーティングシステム: POSIX (Linux,BSD,Solaris など), BSD, Linux
プログラミング言語: OCaml (Objective Caml)
最終更新日: 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
最終更新日: 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 スクリプト [/projects/freshmeat_gcc/ gcc] またはマイクロソフトの cl との交換として機能し、プロジェクト内のソース ファイルをマージできます。その他の機能の制御フローのサポートが含まれます、ポイントを解析します。

(機械翻訳)
最終更新日: 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, ストレージ
最終更新日: 2008-01-13 06:24

SRESI

SRESI はスマート ブックマーク マネージャーです。それは現在、コマンドラインと PHP インターフェイスを遊ばします。標準の階層ツリーと新しいとファッショナブルなタグ付きしおりの両方で動作します。それは両方の表現システムのインタ フェースする方法として開発されました。SRESI は、XBEL、オペラ、モジラ Del.icio.us のブックマークを使用することができ、ほかのいくつかのより多く輸出を処理します。ディレクトリとタグを同等に、使用され、最終的な階層は、実際のタグの使用から推論されます。

(機械翻訳)
オペレーティングシステム: POSIX (Linux,BSD,Solaris など), Linux, Windows, Windows
プログラミング言語: OCaml (Objective Caml)
ユーザインタフェース: Web環境
最終更新日: 2011-11-03 21:17

Plasma

プラズマ計算クラスターにマップまたは軽減のフレームワークを実装します。それが独自の分散ファイルシステム、PlasmaFS トランザクション (酸) は信頼性の高い、高速なファイル操作の完全なセットを提供しています。PlasmaFS はまたは NFS 経由で、RPC プロトコル経由でアクセスすることができます (つまり、それはマウント)。さらに、PlasmaFS の上にキー/値のデータベースがあります。

(機械翻訳)
データベース環境: SQLベース
プログラミング言語: OCaml (Objective Caml)
トピック: Freecode.com, SourceForge.net
最終更新日: 2007-02-05 00:09

Cameleon for OCaml

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

(機械翻訳)
最終更新日: 2012-06-12 21:54

Opa

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

(機械翻訳)
オペレーティングシステム: MacOS, Linux
プログラミング言語: OCaml (Objective Caml)