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: over 1 year ago
Linked from 2 awesome lists
firebasefirebase-firestorehaskellparser-combinatorstypescript
jthegedus/awesome-firebase
uhub/awesome-haskellRelated projects:
| Repository | Description | Stars |
|---|---|---|
 tylim88/firelordjs | A wrapper library that enables type-safe interactions with Firestore's web API while minimizing code duplication and runtime errors. | 85 |
 chflick/firecode | An extension for Visual Studio Code that provides syntax highlighting and validation support for Firestore security rules. | 38 |
 fjvallarino/monomer | A cross-platform GUI library for writing native Haskell applications | 596 |
| tylim88/firesagejs | A TypeScript wrapper for the Firebase Realtime Database that provides type safety and minimizes runtime exceptions. | 12 |
 sbarbat/firestore-queuer | A system for managing messages and processing them asynchronously using Firebase Firestore and Cloud Functions. | 7 |
 chetant/libclang | A Haskell FFI binding to the C++ libclang library for working with source code analysis and manipulation. | 58 |
 joelburget/react-haskell | A set of libraries and tools for building web UI using Haskell | 351 |
 typelead/eta-hackage | Patches to make Hackage compatible with Eta language | 64 |
 goldfirere/singletons | An ecosystem of singleton types that allow dependently typed techniques to enforce rich constraints among program types | 287 |
 frasertweedale/hs-jose | Haskell implementation of JSON Object Signing and Encryption & JWT (JSON Web Token) | 122 |
 mzero/haskell-amuse-bouche | A collection of Haskell code examples and resources illustrating the language's features and programming techniques. | 114 |
 valderman/selda | A type-safe, high-level interface for interacting with relational databases in Haskell. | 477 |
 haskell-servant/servant | A Haskell-based type-level web development framework | 1,826 |
 nyancat18/fe | Provides custom firejail profiles for secure Linux environments. | 14 |
 statebox/cql | A Haskell implementation of a functional query language that allows declarative specification and analysis of data transformations | 163 |