Showing 36 of 130 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 driver for MongoDB that enables database connections, queries, updates, and administrative tasks.
A Haskell library for generating Erlang VM byte code from pure Haskell, enabling compile-to-BEAM languages.
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 distributed stream processing system written in Haskell that guarantees exactly-once semantics.
A Haskell client library for connecting to and querying RethinkDB databases.
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.
Generates Elm type definitions, JSON encoders, and decoders from Haskell types to keep frontend and backend in sync.
A curated list of resources for the Eta programming language, a Haskell-like language for the JVM.
A Haskell library implementing basic machine learning algorithms including Hopfield networks.
An sbt plugin that integrates the Eta programming language into Scala projects for compiling and running Scala/Eta programs.
A 2048 puzzle game for Android built using the Yampa Functional Reactive Programming library in Eta.
A Haskell client library for interacting with InfluxDB 1.8 time-series databases.
A basic todo list application demonstrating CQRS and Command Sourcing patterns implemented in Haskell.
A Frege translation of the examples from "Learn You a Haskell for Great Good!", a popular functional programming tutorial.
A fun web app that displays realistic-looking code as you type, simulating movie-style hacking.
A Lisp-dialect programming language that implements Haskell's functional semantics by transpiling to C with automatic memory management.
A curated collection of high-quality Haskell programming videos covering tutorials, talks, and advanced concepts.
A collection of examples demonstrating Eta, a strongly typed programming language for the JVM.
A collection of Haskell snippets for LuaSnip in Neovim, powered by tree-sitter and LSP.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.