IdrisSqlite
Effectful bindings for SQLite (forked from IdrisWeb)
AI summary
SQLite library
Provides type-safe bindings and tools for Idris to interact with SQLite databases.
- stars
- 41
- forks
- 6
- watching
- 5
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
JavaScript binder
Provides safe interface to JavaScript's unsafe world
Database library
A thin wrapper around the SQLite C library with an API similar to Sqlite4java.
Type provider library
A type provider library for Idris that provides a way to integrate external data sources into the Idris programming language.
SQL database library
A high-level SQLite API for Nim language
Database engine
A Rust wrapper around UnQLite, a document store and Key/Value NoSQL database engine
SQL database library
An R interface to a lightweight, self-contained, and transactional SQL database engine
Database Library
An Erlang NIF providing direct access to an embedded SQLite database for efficient and fast data storage and retrieval.
JSON query library
A jq extension for SQLite that simplifies working with JSON data in SQL queries
Database library
A TypeScript-based wrapper around SQLite databases with support for multiple backends and a simple Promise-based API.
DB library
A Python utility and library for manipulating SQLite databases.
SQL client
Provides an idiomatic and type-safe interface to Microsoft SQL Server from Fable Node applications.
SQL database library
A MicroPython module providing a Pythonic interface to the SQLite database library
Database abstraction layer
Provides a Common Lisp interface to the SQLite relational database management system.
Database Library
A library that enables .NET developers to create and manage SQLite databases using Entity Framework's CodeFirst approach.
SQL database library
A Lua binding for a self-contained SQLite database engine
Featured in 1 awesome list
Each link jumps to the spot where the list mentions IdrisSqlite.
