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
- π Profunctor based lightweight implementation of Lensesβ71Updated last year
- Compile Dhall expressions to Cabal filesβ101Updated 2 years ago
- A structured concurrency libraryβ86Updated last week
- Visualise eventlog events as a static webpageβ70Updated 3 months ago
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.β81Updated 4 years ago
- βοΈβπ Convenient interface for printing colourful messagesβ66Updated 2 weeks ago
- Hypertypes - generic programming for heterogeneous recursive typesβ121Updated 2 months ago
- Create temporary postgres instancesβ53Updated 6 months ago
- Find your open-soulmate <π>β74Updated 3 years ago
- β29Updated 5 years ago
- Kotlin-backend for PureScriptβ81Updated 3 years ago
- π Haskell dependencies build times profilerβ74Updated 2 years ago
- Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.β50Updated 4 months ago
- β‘οΈEfficient implementation of Map with types as keysβ101Updated last year
- βοΈ A refinement proof framework for haskellβ69Updated last year
- Effects libraries in Haskellβ71Updated last year
- β84Updated last month
- A set of utilities for using indexed types including containers, equality, and comparison.β60Updated last week
- Dependent sums and supporting typeclasses for comparing and displaying themβ55Updated last year
- β22Updated 3 months ago
- Yet another test framework for Haskell.β67Updated this week
- π Out of the shell solution for scripting in Haskellβ71Updated 4 months ago
- Fast and concise extensible effectsβ108Updated last year
- β49Updated 5 years ago
- All the Transient librariesβ39Updated this week
- generate haskell types for Squeal from a running postgresql database.β27Updated 3 years ago
- Chapelure is a diagnostic library for Haskellβ45Updated last year
- Low-overhead effect management for concrete monadsβ37Updated 2 years ago
- Convert values from one type into another.β77Updated this week
- Hedgehog will eat your typeclass bugsβ56Updated 6 months ago