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

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-02-03 18:40

Wyrd

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

最終更新日: 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 アーキテクチャ。絶頂は有用なセマンティック情報と共に逆アセンブル命令についての豊富な詳細を提供します。

(機械翻訳)
最終更新日: 2005-02-17 20:43

Confluence System Design Language

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

最終更新日: 2006-02-05 01:30

palmfs

palmfs は、ヒューズに基づく [/projects/freshmeat_linux/ Linux] の PalmOS ファイルシステム アクセス ソフトウェアです。クライアントおよびサーバーの 2 つの部分で構成されます。クライアントは、Linux システム上で実行されるヒューズ ベースのアプリケーションです。サーバー部分は、実際に実行するコマンド、クライアントによって送信された、PalmOS アプリケーションです。様々 な通信ポートをサポートし、拡張カードだけでなく、PalmOS 内部ファイルシステムにアクセスする intented です。

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

Cameleon for OCaml

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

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

Orpie

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

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

Virt-P2V

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

最終更新日: 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
最終更新日: 2012-06-12 21:54

Opa

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

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

Frama-C

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

主要対話語: 英語
オペレーティングシステム: MacOSX, Linux, Windows
プログラミング言語: C, OCaml (Objective Caml)
トピック: Freecode.com