Simspace / avaleryar
A logical authorization system
☆50Updated 3 years ago
Alternatives and similar repositories for avaleryar:
Users that are interested in avaleryar are comparing it to the libraries listed below
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated 2 months ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- A structured concurrency library☆86Updated 3 weeks ago
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.☆81Updated 4 years ago
- A pleasant PostgreSQL database layer for Haskell☆42Updated 4 months ago
- All the Transient libraries☆39Updated last week
- type level sets☆67Updated 5 years ago
- ️🌈 Convenient interface for printing colourful messages☆66Updated this week
- ⚡️Efficient implementation of Map with types as keys☆101Updated last year
- Experimental, user-contributed effects and interpreters for polysemy☆71Updated last year
- Generate TypeScript definition files from your ADTs☆60Updated last month
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- ☆29Updated 5 years ago
- Create temporary postgres instances☆53Updated 7 months ago
- Beseder: make impossible state transitions impossible☆31Updated 5 years ago
- Tasty meal of Dhall☆66Updated last year
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated last year
- Bidirectional JSON serialization☆40Updated 4 years ago
- Effects libraries in Haskell☆71Updated last year
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last week
- Example language server (LSP) implementation for a toy language☆60Updated 3 years ago
- ☆89Updated this week
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Yet another test framework for Haskell.☆67Updated this week
- Find your open-soulmate <💜>☆74Updated 3 years ago
- Principled and efficient binary serialization☆61Updated 2 years ago