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 1 month 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!