|
LLVM |
3 |
Interpolated Haskell |
Dec 12, 2018 |
|
TypeScript |
15 |
Type-safe media queries. |
Feb 10, 2022 |
|
Haskell |
10 |
Safe and minimal Haskell Prelude |
Nov 11, 2021 |
|
Idris |
2 |
Idris Sql package, type safe queries |
Dec 08, 2022 |
|
Go |
2 |
Postgres: Benchmarking concurrently safe upsert queries |
Nov 19, 2023 |
|
None |
11 |
Queries for parsed spotlight database in sqlite |
Nov 16, 2022 |
|
Haskell |
3 |
Type-safe LaTeX EDSL in Haskell |
Dec 05, 2019 |
|
Haskell |
29 |
Safe, programmable, speculative evaluation for Haskell |
Mar 19, 2021 |
|
Haskell |
3 |
Thread-safe Haskell wrapper around libmpv |
Nov 11, 2020 |
|
Haskell |
3 |
Haskell Library for safe (atomic) IO |
Jul 24, 2020 |
|
Elm |
757 |
Autogenerate type-safe GraphQL queries in Elm. |
Apr 24, 2023 |
|
Rust |
2 |
Safe, comp time generated queries in rust |
Oct 31, 2021 |
|
Haskell |
3 |
Haskell type-safe library for linear algebra |
Jun 12, 2017 |
|
Haskell |
49 |
:hourglass: Type-safe time units in Haskell |
Feb 10, 2022 |
|
Haskell |
92 |
Type-safe effectful state machines in Haskell |
Dec 07, 2021 |
|
Haskell |
13 |
Extensible, Type Safe Error Handling in Haskell |
Dec 22, 2020 |
|
Haskell |
14 |
Write type-safe shell scripts in Haskell |
Jul 14, 2021 |
|
Haskell |
20 |
Type safe JSON PostgreSQL queries using bidirectional serializers |
Aug 24, 2022 |
|
R |
4 |
GLobal (GSOD) INterpolated Temperatures |
Apr 13, 2022 |
|
C++ |
3 |
E* Interpolated Graph Replanner |
Apr 09, 2020 |
|
Java |
64 |
Sample of concurrent safe access to Android SQLite Database |
Aug 08, 2022 |
|
Haskell |
44 |
Haskell library for safe (pattern match free) functions |
Sep 06, 2022 |
|
Java |
8 |
Room, SQLite, custom queries, multiple tables, foreign keys, mvvm, rxjava |
Jun 11, 2020 |
|
Python |
5 |
A custom function to use ColorBrewer scales in SQLite queries |
Apr 13, 2022 |
|
Elixir |
23 |
Helpful queries and Phoenix Live Dashboard integration for SQLite. Must-have for SQLite-powered Elixir projects. |
Apr 25, 2023 |
|
C++ |
2 |
A thin, safe and convenient C++ wrapper for SQLite API. |
Feb 03, 2024 |
|
Haskell |
16 |
Type safe abstract binding trees for Haskell, using Vinyl |
Sep 02, 2021 |
|
Haskell |
111 |
Type-safe, type-level and stateless Haskell graphics framework |
Apr 20, 2022 |
|
Haskell |
5 |
Thin type-safe layer for the Haskell Binary library. |
Dec 05, 2019 |
|
Haskell |
8 |
Exploring a "type-safe" Tic-Tac-Toe in Haskell |
Dec 05, 2019 |
|
Haskell |
468 |
A type-safe, high-level SQL library for Haskell |
May 02, 2023 |
|
Java |
3 |
JVM Desktop application to show sqlite database contents and run queries |
Jul 11, 2022 |
|
JavaScript |
62 |
Get interpolated color from a palette |
Aug 15, 2022 |
|
Dart |
5 |
A type safe key/value store backed by Sqlite for Flutter |
Aug 27, 2022 |
|
C |
4 |
Y2038 safe wtmp implementation as PAM module using sqlite as database |
Aug 10, 2023 |
|
Haskell |
2 |
A type-safe, non-TH Haskell SQL library and ORM |
Feb 01, 2023 |
|
Haskell |
520 |
A type-safe, non-TH Haskell SQL library and ORM |
Oct 18, 2022 |
|
Haskell |
657 |
🌀 Safe, performant, user-friendly and lightweight Haskell standard library |
May 16, 2023 |
|
TypeScript |
19 |
Call and consume GraphQL APIs with type safe queries and responses |
Jul 29, 2022 |
|
JavaScript |
29 |
Safe parsing and validation for MongoDB queries (filters), projections, and more. |
Jul 20, 2022 |
|
C |
11 |
Example how to append data to a Haskell executable using sqlite |
Dec 25, 2021 |
|
Haskell |
6 |
Haskell library for Boolean expressions with various representations and search queries. |
Feb 20, 2023 |
|
Haskell |
2 |
Safe Paths in Haskell, Deprecated, use https://github.com/chrisdone/path instead. |
Dec 05, 2019 |
|
Haskell |
26 |
making data science easy and safe with data frames in haskell |
Sep 17, 2021 |
|
TypeScript |
7 |
(IDW) Interpolated Heatmap Layer for mapbox-gl |
Aug 23, 2022 |
|
Dart |
8 |
An interpolated progress builder for video_player controllers |
Aug 02, 2022 |
|
Shell |
2 |
Template files with interpolated variables in Bash. |
Apr 12, 2021 |
|
C++ |
6 |
Interpolated DVB-S2 blocks for GNU Radio |
Jul 28, 2021 |
|
TypeScript |
2 |
(IDW) Interpolated Heatmap Layer for maplibre-gl |
May 10, 2023 |
|
Swift |
280 |
💎 A Swift DSL for type-safe, extensible, and transformable SQL queries. |
May 31, 2023 |