Software Map

Lsl プラスは、編集/コンパイル/テスト環境のため、リンデン スクリプト言語 （LSL)、Eclipse プラグインとして実装されています。

!PortFusion 書かれた Haskell + LLVM は、GPLv3 の下でリリースの TCP、ミニマル、クロスプラット フォーム トランスポート - 分散層逆/フォワード プロキシです。この直感的なインターフェイスと美しいデザインの Haskell の優れたサポートを前例のないレベルの同時実行および並列処理を組み合わせて、独自の機能に叩くことによってそれぞれのプラットフォームのほとんどになります 1 つのパッケージ。それは最大のスループットとオーバーヘッド近くを提供しながら、ソース コード サイズの最小の (< 500 行) を努めています。

形式的な証明のアーカイブは証拠のライブラリ、例、およびより大きい科学の発展、Isabelle の定理証明における機械的にチェックのコレクションです。それは科学的な雑誌の方法で編成されます。サブミッションは査読有り。