GHC

Misodmjio/miso

A small, production-ready, reactive Haskell front-end framework for building interactive single-page web and mobile applications.

corrodejameysharp/corrode

An automatic semantics-preserving translator that converts C source code into equivalent Rust syntax.

cryptolGaloisInc/cryptol

A domain-specific language for specifying, implementing, and verifying cryptographic algorithms with executable formal specifications.

sparkletweag/sparkle

A library for writing Apache Spark applications in Haskell, enabling resilient analytics that scale to thousands of nodes.

awsaristidb/aws

A comprehensive Haskell library for interacting with Amazon Web Services including S3, SQS, DynamoDB, and more.

vulkanexpipiplus1/vulkan

High-level, idiomatic Haskell bindings for the Vulkan graphics API, reducing verbosity while retaining full functionality.

hs-to-coqplclub/hs-to-coq

A tool that converts Haskell source code into equivalent Coq source code for formal verification.

idris-llvmidris-hackers/idris-llvm

An LLVM backend code generator for the Idris programming language.