web-dev-qa-db-ja.com

F#オープンソースプロジェクト

学ぶべきオープンソースのF#プロジェクトを探しています。スニペットではなく、F#機能(パターンマッチング、識別された共用体など)を適切に表す完全なプロジェクト。

私の目的は主に、すべての機能がどのように組み合わされているか、プロジェクトがどのように編成されているか、および機能の観点から問題にどのように取り組んでいるかを確認することです。

56

オープンソースF#プロジェクトのリスト(コンパイル済み):

42
George Stocker

FsCheck 、仕様ベースのテストフレームワーク。

[〜#〜] vcc [〜#〜] 、Cプログラムの静的分析(MS調査による)

VSLab 、ビジュアルスタジオの数学/ MATLABのような環境

10

別のものを見つけました:

ストーム :Webサービスをテストするためのツール

5

BistroFS --F#のWebフレームワーク

4
kolosy

Frack-Functional Rack-はOWIN(Open Web Interface for .NET)の実装であり、Python WSGIおよびJSGI仕様と同様の目的を持っています。Frackの実装はRackと同様です。ジャックとそれらのプロジェクトに多くを負っています。

https://github.com/panesofglass/frank

4
Luca Martinetti

FParsec --F#用のパーサーコンビネーターライブラリ

3

DownloadStockPrices

Yahooの過去の相場から株価、配当、分割をダウンロードします。また、それらを変更して発生したとおりにし、調整して調整価格を計算します。 C#/ VB.NETから再利用できる.NETコンポーネントもあります。 F#で記述されていますが、どの.NET言語からでも使用できます。

ブログ投稿へのリンクは ここ

これは、F#2008年9月のCTPで作成されています。

ソリューションは次の要素で構成されています。

  • ダウンロードを実行するためのライブラリ
  • xUnitを使用したテストプロジェクト(ただし、xUnitをダウンロードして、実行するにはTestsプロジェクトで参照する必要があります)
  • シンプルなコンソールベースのドライバー
  • ライブラリを使用したグラフィカルUIアプリの開始(ボブと呼ばれる)
3

多分 ウィングビート 興味があるかもしれませんか?

このプロジェクトは1年も経っていないので、今のところ貢献者は2人だけですが、興味深いものがあると思います。

他の人にも参加してもらいたい、または少なくともチェックして試してみてください。

3
Johan Jonasson

グーグルコードで検索 私は見つけました:

3

オープンソースプロジェクト用のスポットを作成しました nquote 、F#引用式としてユニットテストアサーションを書き込むためのF#ライブラリ。これは、アクティブなパターンとパターンマッチングを使用して引用を再帰的に処理および再構築し、オブジェクト指向コードと関数型コードを混合し(.NET Reflectionを多用します)、xUnit.netと...ライブラリ自体を使用して単体テストを作成する方法を学ぶ良い例です。

2
Stephen Swensen

Robert Pickeringは、Toby Segaranの本に似た Collective Intelligence に焦点を当てたF#プロジェクトを配置しました "Collective Intelligence" (python)を介してそこに示されています) github:

fscollintelli

2
ninegrid

ライセンスについてはよくわかりませんが... MicrosoftのTrueSkillシステム(XBox360ライブゲームのプレーヤーを評価する)は、いくつかのソースコードを公開しています。

http://blogs.technet.com/apg/archive/2008/04/05/trueskill-through-time.aspx

2
damageboy

FsEye というFSIのビジュアルオブジェクトツリーインスペクターを開発しています。 asyncを使用してノンブロッキングGUI更新と並列計算を実行するなど、F#でのWinForms開発を示しています。オブジェクトツリーは、判別ユニオンとレコードを使用してモデル化されます。 Lazy値とシーケンス式は、(無限の深さの)サブツリーのオンデマンドロードに使用されます。アクティブパターンは、非ジェネリックTreeViewNodesでの作業をスムーズにするために使用されます。

2
Stephen Swensen

YaccConstructor -文法処理とパーサー構築のためのモジュラーツール。

1
gsv