SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
:tv: A free and simple to use video player made with Haskell.
- haskell
- haskell-gi
- gstreamer
- gtk
🔍 A step-by-step guide to parsing using Haskell parser combinators.
Haskell distributed stream processing with exactly-once semantics
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott