Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/michalspano/haskeww

λ Haskell, but no Ls. You call Haskell a toy academia language – I'll show you *real* software in it.
https://github.com/michalspano/haskeww

academia cool functional-programming haskell monad research

Last synced: about 17 hours ago
JSON representation

λ Haskell, but no Ls. You call Haskell a toy academia language – I'll show you *real* software in it.

Awesome Lists containing this project

README

        

# HaskeWW

Welcome to **HaskeWW**! This repository is dedicated to showcasing the power of
`Haskell`, a language often dismissed as purely academic or a toy for
researchers. Here, we aim to dispel that myth by demonstrating real-world,
practical software projects written in `Haskell`.

## Synopsis

*Haskeww* stands for "Haskell, but no Ls" - a playful nod to proving the critics
wrong. If you believe `Haskell` is just a toy language for academia - you may
rethink that.

## Featured Projects

Below, you will find an alphabetically sorted list of links to various
interesting `Haskell` projects.

### Projects
- [agda](https://github.com/agda/agda) - Agda is a dependently typed programming language / interactive theorem prover.
- [alex](https://github.com/haskell/alex) - A lexical analyser generator for Haskell.
- [carnap](https://github.com/Carnap/Carnap) - A formal logic framework that runs in the browser
- [duckling](https://github.com/facebook/duckling) - Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
- [elm](https://github.com/elm/compiler) - Compiler for Elm, a functional language for reliable webapps.
- [emanote](https://github.com/srid/emanote) - Emanate a structured view of your plain-text notes
- [ghcjs](https://github.com/ghcjs/ghcjs) - Haskell to JavaScript compiler, based on GHC
- [hakyll](https://github.com/jaspervdj/hakyll) - A static website compiler library in Haskell
- [hledger](https://github.com/simonmichael/hledger) - Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
- [ihaskell](https://github.com/IHaskell/IHaskell) - A Haskell kernel for the Jupyter project.
- [ihp](https://github.com/digitallyinduced/ihp) - The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
- [kmonad](https://github.com/kmonad/kmonad) - An advanced keyboard manager.
- [koka](https://github.com/koka-lang/koka) - A Functional Language with Effect Types and Handlers
- [odin](https://github.com/odin-lang/Odin) - The Data-Oriented Language for Sane Software Development
- [pandoc](https://github.com/jgm/pandoc) - Universal markup converter
- [postgrest](https://github.com/PostgREST/postgrest) - REST API for any Postgres database
- [semantic](https://github.com/github/semantic) - Parsing, analyzing, and comparing source code across many languages (GitHub)
- [simplex](https://github.com/simplex-chat/simplex-chat) - SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps!
- [taffybar](https://github.com/taffybar/taffybar) - A gtk based status bar for tiling window managers such as XMonad
- [taffybar](https://github.com/taffybar/taffybar) - A gtk based status bar for tiling window managers such as XMonad
- [unison](https://github.com/unisonweb/unison) - A friendly programming language from the future
- [xmobar](https://codeberg.org/xmobar/xmobar) - A minimalist status bar
- [xmonad](https://github.com/xmonad/xmonad) - A dynamically tiling X11 window manager that is written and configured in Haskell.

## Contributing

We welcome contributions! If you have a `Haskell` project that you believe
demonstrates the language's capabilities, follow [these steps](CONTRIBUTING.md).

Let's show the world what Haskell can really do!