GoGPT Best VPN GoSearch

OnWorksファビコン

Linux用のlibmxダウンロード

libmx Linux アプリを無料でダウンロードして、Ubuntu オンライン、Fedora オンライン、または Debian オンラインでオンラインで実行します

これは libmx という名前の Linux アプリで、その最新リリースは libmx-0.2.tar.gz としてダウンロードできます。 これは、ワークステーション用の無料のホスティング プロバイダーである OnWorks でオンラインで実行できます。

OnWorks を使用して libmx という名前のこのアプリをオンラインで無料でダウンロードして実行します。

このアプリを実行するには、次の手順に従ってください。

-1。このアプリケーションをPCにダウンロードしました。

--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。

-3。このアプリケーションをそのようなファイルマネージャにアップロードします。

-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。

-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。

-6。アプリケーションをダウンロードし、インストールして実行します。

スクリーンショットは

Ad


libmx


DESCRIPTION

「mx」は、ラムダ計算式のタイプと値の両方を評価する「libmx」(以下を参照)のコマンドラインテストドライバーです(以下を参照)。http://en.wikipedia.org/wiki/Lambda_calculus)ユーザーによって提供されます。

「libnpmx.so」(MS Windowsでは「npmx.dll」)はNPAPIプラグイン(http://en.wikipedia.org/wiki/NPAPI)「libmx」に基づくMozilla FirefoxWebブラウザの場合。

「libmx」は、(拡張およびオプションの型指定された)ラムダ計算式を処理するためのフレームワークを提供します。 それが提供する他の機能の中で

ラムダ計算式の値を評価するためのテンプレートインスタンス化マシン、
Hindley-Milnerタイプを評価するためのテンプレートインスタンス化マシン(http://en.wikipedia.org/wiki/Hindley-Milner)ラムダ計算式の、および
oラムダ計算の式と型の参照カウンターベースのメモリ管理。

「libmx」はC(C99)で書かれています。




ユーザーインターフェース

コマンドライン、プラグイン


プログラミング言語

C


カテゴリー

科学/工学

これは、https://sourceforge.net/projects/libmx/からも取得できるアプリケーションです。 無料のオペレーティングシステムのXNUMXつから最も簡単な方法でオンラインで実行するために、OnWorksでホストされています。


無料のサーバーとワークステーション

Windows と Linux のアプリをダウンロード

Linuxコマンド

Ad




×
Advertisement
❤️ここでショッピング、予約、購入してください。料金はかかりません。これにより、サービスが無料で維持されます。