Showing 25 of 97 projects
A Haskell tool for whole-program dead-code analysis using GHC's HIE files to detect unused code across module boundaries.
A Coq library providing Haskell-like definitions and notations for formalizing Haskell types and functions in Coq.
A Haskell library for generating Erlang VM byte code from pure Haskell, enabling compile-to-BEAM languages.
A Haskell driver for MongoDB that enables database connections, queries, updates, and administrative tasks.
A Haskell implementation of GraphQL providing AST data types, parser, printer, and future schema and interpreter tools.
High-level, idiomatic Haskell bindings for the Vulkan graphics API, reducing verbosity while retaining full functionality.
A Haskell command-line tool to parse Rocket League replays into JSON and generate replays from JSON.
A Haskell library for OAuth2 client authentication with support for multiple identity providers.
A Haskell client library for interacting with RabbitMQ message brokers.
Convert Elm projects into Nix expressions for reproducible builds and dependency management.
A tool to create isolated Haskell environments, inspired by Python's virtualenv, for sandboxed development.
A Nix-based skeleton project for quickly setting up reproducible Haskell development environments.
A lightning-fast Haskell reimplementation of the Powerline shell prompt generator that improves shell responsiveness.
A Haskell library for building and training feed-forward neural networks with automatic differentiation.
Derive Elm type definitions and JSON encoders/decoders from Haskell types for seamless full-stack development.
A functional programming library for creating lazy, immutable iterables using ES2015 iteration protocols.
A step-by-step guide to parsing using Haskell parser combinators, with practical examples for version numbers and SRT subtitles.
A tool that converts Haskell source code into equivalent Coq source code for formal verification.
A Haskell client library for connecting to and querying RethinkDB databases.
A distributed stream processing system written in Haskell that guarantees exactly-once semantics.
Sets up a Haskell environment (GHC, Cabal, Stack) in GitHub Actions workflows.
A collection of examples highlighting key differences between Haskell and Elm for developers transitioning between the two languages.
A collection of patches enabling Hackage packages to build with the Eta programming language.
A curated list of resources for the Eta programming language, a Haskell-like language for the JVM.
Generates Elm type definitions, JSON encoders, and decoders from Haskell types to keep frontend and backend in sync.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.