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–16 of 16 · Most stars
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
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
A Haskell implementation of the Tor protocol.
Web3 API for Haskell
IRC C++ eval bot
Automates certain common tasks that you do during programming competitions
- programming-competitions
- codeforces
- codechef
- command-line-tool
JSON quasiquoter for Haskell
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
A discord frontend for an interactive interpreter bot
Haskell library implementing OpenFlow protocol versions 1.0 and 1.3
Implementation of Ripple client protocol in Haskell