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–17 of 17 · Most stars
Compiler for Elm, a functional language for reliable webapps.
- elm
- compiler
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
Easy dependency management for Nix projects
- nix
- package-manager
- versioning
😎 The open-source, Haskell-built video editor for GIF makers.
Cryptol: The Language of Cryptography
Interactively browse dependency graphs of Nix derivations.
- nix
- dependency-graph
- hacktoberfest
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
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
A Haskell implementation of the Tor protocol.
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators
🔍 A step-by-step guide to parsing using Haskell parser combinators.
Haskell distributed stream processing with exactly-once semantics
Experimental Malfunction backend for Idris
Generate Elm types, encoders, and decoders from Haskell types
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp