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–10 of 10 · Most stars
A Haskell library that simplifies access to remote data, such as databases or web-based services.
:ramen: A tasty Haskell web and mobile framework
- ghcjs
- haskell
- virtual-dom
- miso
A multilingual package manager for Arch Linux and the AUR.
- arch-linux
- aura
- package-manager
- pacman
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
Generate Erlang VM byte code from Haskell
- beam
- erlang
- elixir
- compiler
Convert Elm project into Nix expressions
- elm
- elm-lang
- nix
- haskell
Haskell distributed stream processing with exactly-once semantics
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott