Awesome Lean / Libraries
11Databases
9 entries
- leansqliteSQLite bindings from the Lean FRO.leanprover/leansqlite
- leanpostgreslibpq bindings with a connection pool, in the style of leansqlite (leanmigrate runs plain-SQL migrations).paulbutcher/leanpostgres
- pg-leanPostgreSQL client with a pure Lean wire protocol, SCRAM, TLS, COPY and pipelining.pb64-lean/pg-lean
- lean-pgxChecked Lean types and query runners generated from PostgreSQL DDL and SQL.pb64-lean/lean-pgx
- lean-linqType-safe LINQ-style SQL query DSL that compiles to parameterized SQL.palladin/lean-linq
- LeanMySQLMySQL API.arthurpaulino/LeanMySQL
- lean-redisAsync Redis client written in pure Lean on the
StdTCP stack.ecyrbe/lean-redis - redisLeanBindings to the hiredis Redis client.marcellop71/redis-lean
- mini-redisImplementation of the mini-redis server.hargoniX/mini-redis