Lists (1)
Stars
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Compiler for Elm, a functional language for reliable webapps.
A friendly programming language from the future
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
The engine for haskell ide-integration. Not an IDE
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
A programming language in Turkish where grammatical case and mood are part of the type system.
Slides and other materials for functional programming lectures ITMO university
A language for intent-centric and declarative decentralised applications
📺 A free and simple to use video player made with Haskell.
Don't Fear the Profunctor Optics!
A brief example of Servant with Persistent
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
Defect Process (2d hack n' slash game) full source code
Exemplary real world backend API built with Haskell/Scotty https://realworld.io
Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.
a collection of cellular automata written in Haskell with Diagrams
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
Challenges from Category Theory for Programmers
A Haskell library for open records and variants using closed type families and type literals