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
- βοΈβπ Convenient interface for printing colourful messagesβ66Updated last week
- Hypertypes - generic programming for heterogeneous recursive typesβ121Updated 2 months ago
- A structured concurrency libraryβ86Updated last week
- Visual tool to spot odd runtime behaviour of Haskell programs.β109Updated 3 years ago
- β‘οΈEfficient implementation of Map with types as keysβ101Updated last year
- Create temporary postgres instancesβ53Updated 6 months ago
- Chapelure is a diagnostic library for Haskellβ44Updated last year
- Compile Dhall expressions to Cabal filesβ101Updated 2 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.β60Updated this week
- Dependent sums and supporting typeclasses for comparing and displaying themβ55Updated last year
- Hedgehog will eat your typeclass bugsβ56Updated 6 months ago
- Experimental, user-contributed effects and interpreters for polysemyβ71Updated last year
- Fast parsing from bytestringsβ156Updated 2 months ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)β68Updated 4 months ago
- Example language server (LSP) implementation for a toy languageβ60Updated 3 years ago
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.β81Updated 4 years ago
- βοΈ A refinement proof framework for haskellβ69Updated last year
- π 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
- β29Updated 5 years ago
- Find your open-soulmate <π>β74Updated 3 years ago
- Effects libraries in Haskellβ71Updated last year
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.β91Updated 6 months ago
- A work stealing schedulerβ75Updated last month
- ππ Combinators for writing pretty type errors easilyβ55Updated 3 years ago
- Haskell embedding of PlusCalβ61Updated 2 years ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.β81Updated last week
- π Out of the shell solution for scripting in Haskellβ71Updated 4 months ago
- Prometheus.io Haskell client.β65Updated 7 months ago