IdrisSqlite
SQLite library
Provides type-safe bindings and tools for Idris to interact with SQLite databases.
Effectful bindings for SQLite (forked from IdrisWeb)
41 stars
5 watching
6 forks
Language: Idris
last commit: almost 7 years ago
Linked from 1 awesome list
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
 idris-hackers/idrisscript | Provides safe interface to JavaScript's unsafe world | 92 |
 david-bouyssie/sqlite4s | A thin wrapper around the SQLite C library with an API similar to Sqlite4java. | 37 |
| david-christiansen/idris-type-providers | A type provider library for Idris that provides a way to integrate external data sources into the Idris programming language. | 94 |
 olliniinivaara/sqliteral | A high-level SQLite API for Nim language | 50 |
 zitsen/unqlite.rs | A Rust wrapper around UnQLite, a document store and Key/Value NoSQL database engine | 112 |
 r-dbi/rsqlite | An R interface to a lightweight, self-contained, and transactional SQL database engine | 329 |
 mmzeeman/esqlite | An Erlang NIF providing direct access to an embedded SQLite database for efficient and fast data storage and retrieval. | 130 |
 florents-tselai/litejq | A jq extension for SQLite that simplifies working with JSON data in SQL queries | 93 |
 haltcase/trilogy | A TypeScript-based wrapper around SQLite databases with support for multiple backends and a simple Promise-based API. | 265 |
 simonw/sqlite-utils | A Python utility and library for manipulating SQLite databases. | 1,708 |
 zaid-ajaj/fable.sqlclient | Provides an idiomatic and type-safe interface to Microsoft SQL Server from Fable Node applications. | 13 |
 spatialdude/usqlite | A MicroPython module providing a Pythonic interface to the SQLite database library | 94 |
 temporal/cl-sqlite | Provides a Common Lisp interface to the SQLite relational database management system. | 73 |
 msallin/sqlitecodefirst | A library that enables .NET developers to create and manage SQLite databases using Entity Framework's CodeFirst approach. | 614 |
 kkharji/sqlite.lua | A Lua binding for a self-contained SQLite database engine | 497 |