Haskell

Những điều tôi ước gì mình đã biết khi học Haskell

Nền tảng di chuyển mở kết nối trực tiếp với tài xế, vận hành các ứng dụng di chuyển thế hệ tiếp theo tại Ấn Độ.

:ramen: Một web framework Haskell hấp dẫn

Một wiki sử dụng HAppS, pandoc và git

Dapp, Seth, Hevm và nhiều thứ khác

Lenses, Folds, và Traversals - Tham gia cùng chúng tôi tại web.libera.chat #haskell-lens

Servant là một Haskell DSL để mô tả, phục vụ, truy vấn, giả lập, tạo tài liệu cho ứng dụng web và hơn thế nữa!

Trình quản lý gói đa ngôn ngữ cho Arch Linux và AUR.

lamdu - hướng tới IDE thế hệ tiếp theo

Chuyển đổi mô tả văn bản thuần túy của lược đồ cơ sở dữ liệu quan hệ thành biểu đồ quan hệ thực thể đồ họa.

Quản lý phụ thuộc dễ dàng cho các dự án Nix

Framework web Haskell lấy cảm hứng từ Sinatra của Ruby, sử dụng WAI và Warp (Kho lưu trữ chính thức)

Kho lưu trữ phát triển ngược nguồn chính thức cho Cabal và cabal-install

Thư viện giao diện đầu cuối Unix khai báo được viết bằng Haskell

Ngôn ngữ nghiên cứu xử lý mảng thuộc họ Haskell/ML

Monoscope cho phép bạn thu thập và khám phá nhật ký, dấu vết và số liệu của mình. Chúng tôi lưu trữ các dữ liệu này trong các bucket tương thích với S3. Truy vấn bằng ngôn ngữ tự nhiên thông qua LLM.

Chuyển hướng đầu ra nix-build qua nix-output-monitor (còn gọi là nom) để nhận thêm thông tin trong quá trình build.

Triển khai ngôn ngữ Plutus và các công cụ

Đề xuất mã nguồn Haskell

Trình biên dịch từ Haskell sang VHDL/Verilog/SystemVerilog

Công cụ định dạng chính thức cho mã nguồn Nix

Ghi chú và xuất bản bền vững dựa trên phương pháp Zettelkasten (đã được thay thế bởi Emanote: https://github.com/srid/emanote)

Trình chỉnh sửa có thể lập trình bằng Haskell

Trình quản lý khay nhớ tạm đơn giản tích hợp với rofi - Có sẵn tệp nhị phân tĩnh

Công cụ phân tích phụ thuộc nhanh chóng, di động và đáng tin cậy cho mọi cơ sở mã nguồn. Hỗ trợ quét giấy phép và lỗ hổng cho các hệ thống nguyên khối lớn. Không phụ thuộc ngôn ngữ; tích hợp với hơn 20 hệ thống xây dựng.

Kho lưu trữ này chứa các bài giảng của Chương trình Plutus Pioneers. Đây là khóa đào tạo do Đội ngũ Giáo dục IOG cung cấp nhằm tuyển dụng và đào tạo các nhà phát triển phần mềm về Plutus, ngôn ngữ hợp đồng thông minh gốc cho hệ sinh thái Cardano.

Liquid Types cho Haskell

elm-format định dạng mã nguồn Elm theo một tập hợp quy tắc chuẩn dựa trên Hướng dẫn phong cách Elm chính thức

Thư viện JSON nhanh bằng Haskell

Môi trường lập trình máy tính giáo dục sử dụng Haskell