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–15 of 15 · Most stars
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others
HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
Explain why two Nix derivations differ
:tv: A free and simple to use video player made with Haskell.
- haskell
- haskell-gi
- gstreamer
- gtk
A Haskell implementation of the Tor protocol.
Haskell bindings for Vulkan
Haskell GraphQL implementation
🔍 A step-by-step guide to parsing using Haskell parser combinators.
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Haskell library implementing OpenFlow protocol versions 1.0 and 1.3
Implementation of Ripple client protocol in Haskell