Haskell

ユニバーサルマークアップコンバーター

シェルスクリプト用の静的解析ツールであるShellCheck。

あらゆるPostgresデータベース用のREST API

SimpleX - あらゆる種類のユーザー識別子なしで動作する初のメッセージングネットワーク - 設計上100%プライベート！iOS、Android、デスクトップアプリ 📱!

Haskellで記述されたDockerfile linter。インラインのbashを検証します。

JavaScriptにコンパイルされる静的型付け言語

信頼性の高いWebアプリのための関数型言語Elmのコンパイラ。

未来からのフレンドリーなプログラミング言語。

GC（ガベージコレクション）なしの静的型付けLispで、リアルタイムアプリケーション向け。

🔥 型安全なWebアプリを構築する最速の方法。IHPは、長期的な生産性と開発者の満足度を最適化した新しいオールインクルーシブなWebフレームワークです。

高度なキーボードマネージャー

CLI、TUI、Webインターフェースを備えた堅牢で高速かつ直感的なプレーンテキスト会計ツール。

データベースやWebベースのサービスなどのリモートデータへのアクセスを簡素化するHaskellライブラリ。

入力文字列上の合成可能な言語ルールを表現、テスト、評価するための言語、エンジン、およびツール。

関数型プログラミングコース

Haskell Tool Stack

モダンな証明言語

小型でありながら機能的な、ICCCM 準拠のタイリングウィンドウマネージャー xmonad のコア

$HOME 内の不要なファイルやディレクトリをチェックするシェルスクリプト

Glasgow Haskell Compiler のミラー。問題やパッチは GHC の GitLab インスタンス（https://gitlab.haskell.org/ghc/ghc）に送信してください。初めてコントリビュートする方は、初心者向け情報（https://gitlab.haskell.org/ghc/ghc/wikis/contributing）から始めることをお勧めします。

Linux VR デスクトップ

Cardanoの分散型ブロックチェーンに参加するために使用されるコアコンポーネント。

Ethereum スマートコントラクトファザー

Language Server Protocol (LSP) を介した公式の Haskell IDE サポート

Agda は依存型プログラミング言語および対話型定理証明系です

Haskell による静的ウェブサイトコンパイラライブラリ

データ並列関数型プログラミング言語

🇪🇺 Wireのバックエンドサービス。

Pandoc を使用したターミナルベースのプレゼンテーション

WAI をベースに構築された RESTful な Haskell Web フレームワーク