IdrisSqlite

SQLite library

Provides type-safe bindings and tools for Idris to interact with SQLite databases.

Effectful bindings for SQLite (forked from IdrisWeb)

GitHub

41 stars
5 watching
6 forks
Language: Idris
last commit: over 8 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
idris-hackers/idrisscriptProvides safe interface to JavaScript's unsafe world92
david-bouyssie/sqlite4sA thin wrapper around the SQLite C library with an API similar to Sqlite4java.37
david-christiansen/idris-type-providersA type provider library for Idris that provides a way to integrate external data sources into the Idris programming language.94
olliniinivaara/sqliteralA high-level SQLite API for Nim language50
zitsen/unqlite.rsA Rust wrapper around UnQLite, a document store and Key/Value NoSQL database engine112
r-dbi/rsqliteAn R interface to a lightweight, self-contained, and transactional SQL database engine329
mmzeeman/esqliteAn Erlang NIF providing direct access to an embedded SQLite database for efficient and fast data storage and retrieval.130
florents-tselai/litejqA jq extension for SQLite that simplifies working with JSON data in SQL queries93
haltcase/trilogyA TypeScript-based wrapper around SQLite databases with support for multiple backends and a simple Promise-based API.265
simonw/sqlite-utilsA Python utility and library for manipulating SQLite databases.1,708
zaid-ajaj/fable.sqlclientProvides an idiomatic and type-safe interface to Microsoft SQL Server from Fable Node applications.13
spatialdude/usqliteA MicroPython module providing a Pythonic interface to the SQLite database library94
temporal/cl-sqliteProvides a Common Lisp interface to the SQLite relational database management system.73
msallin/sqlitecodefirstA library that enables .NET developers to create and manage SQLite databases using Entity Framework's CodeFirst approach.614
kkharji/sqlite.luaA Lua binding for a self-contained SQLite database engine497