All Projects → target → Row Types

target / Row Types

Licence: mit
A Haskell library for open records and variants using closed type families and type literals

Programming Languages

haskell
3896 projects
types
53 projects

Labels

Projects that are alternatives of or similar to Row Types

Covid19
JSON time-series of coronavirus cases (confirmed, deaths and recovered) per country - updated daily
Stars: ✭ 1,177 (+1335.37%)
Mutual labels:  data
Js Word
✒️ Word Processing Document Library
Stars: ✭ 1,203 (+1367.07%)
Mutual labels:  data
Deveeldb
DeveelDB is a complete SQL database system, primarly developed for .NET/Mono frameworks
Stars: ✭ 80 (-2.44%)
Mutual labels:  data
Proteus
Proteus : A JSON based LayoutInflater for Android
Stars: ✭ 1,179 (+1337.8%)
Mutual labels:  data
Magicbox
A platform that uses real-time data to inform life-saving humanitarian responses to emergency situations
Stars: ✭ 73 (-10.98%)
Mutual labels:  data
Kafka Connect Protobuf Converter
Protobuf converter plugin for Kafka Connect
Stars: ✭ 79 (-3.66%)
Mutual labels:  data
Startr
A template for data journalism in R
Stars: ✭ 69 (-15.85%)
Mutual labels:  data
Gopup
数据接口:百度、谷歌、头条、微博指数,宏观数据,利率数据,货币汇率,千里马、独角兽公司,新闻联播文字稿,影视票房数据,高校名单,疫情数据…
Stars: ✭ 1,229 (+1398.78%)
Mutual labels:  data
Ac D3
Javascript Library for building Audiovisual Charts in D3
Stars: ✭ 76 (-7.32%)
Mutual labels:  data
Edamontology
EDAM is an ontology of bioinformatics types of data including identifiers, data formats, operations and topics.
Stars: ✭ 80 (-2.44%)
Mutual labels:  data
Categoricalarrays.jl
Arrays for working with categorical data (both nominal and ordinal)
Stars: ✭ 71 (-13.41%)
Mutual labels:  data
Locopy
locopy: Loading/Unloading to Redshift and Snowflake using Python.
Stars: ✭ 73 (-10.98%)
Mutual labels:  data
Data Models
🔠 Code and specifications to support harmonized data models
Stars: ✭ 79 (-3.66%)
Mutual labels:  data
Athenax
SQL-based streaming analytics platform at scale
Stars: ✭ 1,178 (+1336.59%)
Mutual labels:  data
Qlib Server
Qlib-Server is the data server system for Qlib. It enable Qlib to run in online mode. Under online mode, the data will be deployed as a shared data service. The data and their cache will be shared by all the clients. The data retrieval performance is expected to be improved due to a higher rate of cache hits. It will consume less disk space, too.
Stars: ✭ 81 (-1.22%)
Mutual labels:  data
Cofx
A node and javascript library that helps developers describe side-effects as data in a declarative, flexible API.
Stars: ✭ 72 (-12.2%)
Mutual labels:  data
Data
Extended implementation of ArrayObject - useful collection for any config in your system (write, read, store, change, validate, convert to other format and etc).
Stars: ✭ 77 (-6.1%)
Mutual labels:  data
Zhihu Oauth
尝试解析出知乎官方未开放的 OAuth2 接口,并提供优雅的使用方式,作为 zhihu-py3 项目的替代者,目前还在实验阶段
Stars: ✭ 1,237 (+1408.54%)
Mutual labels:  data
Hydrogen
🎈 Hydrogen. Voted (by me) the world's lightest static-site generator built with TypeScript ❤ It uses 🔥 lit-html inspired templating for super duper performant template generation.
Stars: ✭ 80 (-2.44%)
Mutual labels:  data
Bitcoin Scraper
💲 bitcoin chart history scraper
Stars: ✭ 80 (-2.44%)
Mutual labels:  data

Row-Types

Build Status Hackage

Row-types is a library of open records and variants for Haskell using closed type families and type literals (among other things...). See examples/Examples.lhs for a literate Haskell file that functions as an overview of how this library can be used, and check out the website for further examples.

Available on Hackage.

This work is a branch from CTRex [1,2] with other inspiration from data-diverse [3]. My thanks to the authors and contributors of those libraries!

[1] https://wiki.haskell.org/CTRex
[2] https://hackage.haskell.org/package/CTRex/docs/Data-OpenRecords.html
[3] https://hackage.haskell.org/package/data-diverse

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].