Haskell

Lập trình hàm hiệu suất cao, phát trực tuyến và đồng thời trong Haskell

Thu thập tài nguyên kết hợp trò chơi lập trình

Một thư viện dữ liệu streaming

Ngôn ngữ hợp đồng thông minh Daml

Espial là một máy chủ lưu trữ dấu trang dựaบน web, mã nguồn mở.

Công cụ đo hiệu năng dòng lệnh

Thư viện bộ kết hợp trình phân tích cú pháp dạng monad

Một ngôn ngữ lập trình bằng tiếng Thổ Nhĩ Kỳ trong đó cách (case) và thức (mood) ngữ pháp là một phần của hệ thống kiểu dữ liệu.

Giao diện ứng dụng web Haskell

Tìm hiểu định dạng tệp của Tip Toi

Thư viện chuẩn cho Haskell

SimpleXMQ - Bản triển khai tham chiếu của Giao thức nhắn tin SimpleX cho các hàng đợi simplex qua mạng công cộng.

Một framework kiểm chứng thời gian thực dựa trên luồng để tạo mã C thời gian thực cứng.

Máy chủ HTTP và dòng lệnh để quản lý UTxO và ví HD trong Cardano

Công cụ tìm kiếm API cho Haskell

Hệ thống xây dựng Shake

Các triển khai tối giản cho việc kiểm tra và xây dựng kiểu phụ thuộc (dependent type)

Kiểm thử tự động cho các chương trình Haskell.

Một framework kiểm thử cho Haskell

Ứng dụng máy tính có thể lập trình để chỉnh sửa phối cảnh hình ảnh.

Crucible là một thư viện dùng để mô phỏng biểu tượng cho các chương trình mệnh lệnh

Haskell được triển khai bằng các combinator.

Đồ thị đại số

Các thư viện cốt lõi của Cloud Haskell

Chuyển đổi từ SystemVerilog sang Verilog

Cgrep: công cụ grep nhận biết ngữ cảnh cho mã nguồn

🌀 Thư viện tiêu chuẩn Haskell an toàn, hiệu năng cao, thân thiện với người dùng và nhẹ.

Ngôn ngữ hàm tuyến tính định kiểu tĩnh với các kiểu phương thức phân cấp để lập luận chương trình chi tiết

HStreamDB là cơ sở dữ liệu streaming mã nguồn mở, cloud-native dành cho IoT và hơn thế nữa. Hiện đại hóa ngăn xếp dữ liệu của bạn cho các ứng dụng thời gian thực.

Thanh trạng thái dựa trên GTK dành cho các trình quản lý cửa sổ dạng lát (tiling window managers) như XMonad.