LCI - A lambda calculus interpeter 0.6

関連プログラム

• Universal SQL Gateway 無料

  ユニバーサル SQL ゲートウェイは、特別な JDBC ドライバーを実装することにより、HTTP 経由でファイアウォールを介して SQL 要求をトンネリングします。一般的にアプリケーション ゲートウェイと呼ばれるファイアウォール コンポーネントとして機能することで、セキュリティで保護されたデータベース アクセスを提供します。

• Dev65 無料

  Dev65 は、移植性のために Java でコーディングされた 6501、6502、65C02、65816、および 65832 ファミリのマクロ アセンブラ、リンカー、およびライブラリアン スイートです。コードは、他のシステム アーキテクチャをサポートできるフレームワークに基づいています。

• GameDirector 無料

  ゲームディレクターVer 0.1デブロップメントビルド10 18-11-10。ゲームディレクターは、Ogreエンジンをベースにした新しいゲーム開発システムで、開発が激しい。

• Flash and Boom 無料トライアル

  雷の距離測定アプリケーション。雷のゴロゴロは、雷のいくつかの秒後に続きます。フラッシュとブームアプリケーションは、あなたと衝撃点との間の距離を決定するために、この時間を使用しています!

• Network Transparent Widgets (ntw) 無料

  NTWは、プラットフォーム間のクライアント/サーバープロトコルとウィジェットツールキットで、低速ネットワークでも効率的なリモート操作を可能にします。 その目標は、安価なサーバーを 1 台で使用して、数百のリモート クライアントにサービスを提供できることです。

• subtex 無料

  サブテックスは、一般的なタイプ設定システムであるLaTeXのXMLバージョンです。ラテックスコマンド(したがってSUBtex)のサブセットが含まれていますが、素晴らしい組み込みの文献目録システムを含む多くの改良も含まれています。XML での LaTeX タグ!はい！

• LogJana 無料

  logjana プログラムは、jana プロキシ サーバー V2 のログ プログラムです。これは、主なログファイル "proxy.log" を時間指定ファイルで分割します。メインログファイル "proxy.log" は変更されません。質問については michael.wiechert(at)グーでメールを送ります

• elisa 無料

  Elisa は、制約プログラミングと制約解決の手法のためのオープン C++ ライブラリです。 連続的な制約を解決するための間隔ベースのアルゴリズムでは、Gaol (http://sf.net/projects/gaol) が既にシステムにインストールされている必要があります。

• PersianDate 無料

  ペルシャ暦とグレゴリオ暦の間の日付といくつかのヘルパークラスをインクリメント日付に変換するためのC ++ライブラリ.

• Ada 2005 Math Extensions 無料

  Ada 2005 標準では、実数および複雑な行列演算とベクトル演算を定義します。すべての可能な操作がサポートされているわけではないので、例えば対称またはハーミシアン行列のみが解決できます。このプロジェクトは GNAT 規格の拡張を提供します。