Libx Awesomeリスト

    このページの内容

    Awesome Idris

    Idrisを扱う資料や関連プロジェクトをまとめたAwesomeリストです。

    目次

    公式リソース

    記事

    書籍

    論文

    発表

    プロジェクト

    • GitHub でトレンドの Idris リポジトリ
    • iridium - X11 を抽象化し、Idris で設定する xmonad。
    • lightyear - Idris 向けパーサーコンビネーター。
    • quantities Idris で型安全な物理計算と単位変換を行います。
    • idris-type-providers - Idris 向け Type Provider ライブラリ。
    • IdrisScript - 安全でない JavaScript の世界とやり取りする FFI バインディング。
    • idris-containers - Idris 言語で使う各種データ構造。
    • IdrisSqlite - SQLite の副作用を伴うバインディング。
    • idris-http - Idris 向け HTTP ライブラリ。
    • RingIdris - Idris 向け環ソルバー。
    • specdris - Idris 向けテストフレームワーク。
    • idris-config - Idris で書かれた各種設定ファイルのパーサー。
    • probability - Idris における確率的計算。
    • idris-protobuf - Idris による Protocol Buffers の部分実装。
    • idris-free - Free Monad と、それを扱う便利な構造。
    • idris-ct - 形式検証された圏論ライブラリ
    • typedefs - プログラミング言語に依存しない代数的データ型定義言語

    バックエンド

    • idris-jvm - Idris 向け JVM バイトコードバックエンド。
    • idris-llvm - LLVM バックエンド。
    • idris-erlang - Erlang バックエンド。
    • idris-malfunction - 実験的な Malfunction（OCaml 内部表現）バックエンド。

    ビルドツール | パッケージマネージャー

    • Idris Rules - Bazel 向け Idris ルール
    • Ikan - Idris で書かれた Idris 向けパッケージマネージャー
    • Elba - Idris 向けパッケージマネージャー
    • idream - Idris 向けのシンプルなビルドシステム

    コミュニティ

    ライセンス

    CC0