fireward
Security rule language
A Haskell-based language and compiler for writing Firestore security rules with type validation and idiomatic expressiveness.
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
238 stars
6 watching
4 forks
Language: Haskell
last commit: almost 2 years ago
Linked from 2 awesome lists
firebasefirebase-firestorehaskellparser-combinatorstypescript
Related projects:
Repository | Description | Stars |
---|---|---|
| A wrapper library that enables type-safe interactions with Firestore's web API while minimizing code duplication and runtime errors. | 85 |
| An extension for Visual Studio Code that provides syntax highlighting and validation support for Firestore security rules. | 38 |
| A cross-platform GUI library for writing native Haskell applications | 598 |
| A TypeScript wrapper for the Firebase Realtime Database that provides type safety and minimizes runtime exceptions. | 12 |
| A system for managing messages and processing them asynchronously using Firebase Firestore and Cloud Functions. | 7 |
| A Haskell FFI binding to the C++ libclang library for working with source code analysis and manipulation. | 58 |
| A set of libraries and tools for building web UI using Haskell | 352 |
| Patches to make Hackage compatible with Eta language | 64 |
| An ecosystem of singleton types in Haskell to enforce rich constraints among types in programs. | 288 |
| Haskell implementation of JSON Object Signing and Encryption & JWT (JSON Web Token) | 124 |
| A collection of Haskell code examples and resources illustrating the language's features and programming techniques. | 114 |
| A type-safe, high-level interface for interacting with relational databases in Haskell. | 478 |
| A Haskell-based type-level web development framework | 1,834 |
| Provides custom firejail profiles for secure Linux environments. | 14 |
| A Haskell implementation of a functional query language that allows declarative specification and analysis of data transformations | 163 |