Haskell
Showing 22 of 130 projects
A Common Lisp library for list manipulation inspired by Haskell's Data.List, providing functional utilities like folds, scans, and infinite lists.
A curated list of resources for the Frege programming language, a Haskell-like language for the JVM.
Generates locally nameless definitions and infrastructure lemmas for Coq from Ott language specifications.
A Haskell library for generating and visualizing L-systems, inspired by 'The Algorithmic Beauty of Plants'.
A Gradle plugin for building Eta programming language projects using the Etlas build tool.
Neovim plugin for Haskell syntax highlighting that distinguishes variables by their scope (free vs. bound).
A Haskell toolset for building and executing Gremlin graph queries with type safety and composable DSL.
A tool for writing Erlang NIF (Native Implemented Function) libraries in Haskell.
A simple build system for Idris2 that manages multi-package projects and external dependencies.
A Haskell library implementing OpenFlow protocol versions 1.0 and 1.3 for building SDN controllers.
ZSH completion plugin for Haskell development tools including ghc, cabal, and ghc-pkg commands.
A private Docker registry implementation compatible with the official Docker registry API.
A Haskell implementation of Hopfield networks for unsupervised learning and pattern storage.
Frege programming language interface for Android development, enabling functional programming on the Android platform.
A fast, Haskell-based utility that renders git repository information for shell prompts in bash, zsh, and fish.
A Frege implementation of the Android GeoQuiz app from Big Nerd Ranch, demonstrating functional programming on Android.
Interactive scaffolding tool for initializing new Elm projects with package configuration.
Standard library for the Eta programming language, providing essential functions and types for functional programming on the JVM.
A collection of code katas for practicing Test-Driven Development in Go, Haskell, Java, PHP, Python, and TypeScript.
A minimal Yesod web application example implemented in the Eta programming language.
A V language library implementing Haskell's list manipulation functions from the Prelude.
ZSH plugin providing tab completion for Cabal package manager commands.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.