Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
lean-redis
full feature async redis client for lean 4
Lean
Emerging
lean4
redis
GitHub
Website
Stars
6
Forks
—
Contributors
1
Last push
2h ago
Recent commits
Latest commits.
feat(cache): aded cache spampete prevention
69313b0
ecyrbe
2h ago
refactor: use async background instead of asTask
e76411f
ecyrbe
2d ago
refactor: use return when possible
41f1696
ecyrbe
2d ago
refactor: use while loops
0fe6b2c
ecyrbe
2d ago
refactor: make readOneReply imperative
10968b0
ecyrbe
3d ago
refactor: use ← instead of <-
0417f90
ecyrbe
3d ago
refactor: rename to Defs files
7d07a48
ecyrbe
3d ago
refactor: move Driver to Client directory
dd78e66
ecyrbe
3d ago
Top contributors
Builders behind this project.
ecyrbe
71 commits
