dlthomas / sql-viewer
GHCJS front-end for queryparser
☆80Updated 6 years ago
Alternatives and similar repositories for sql-viewer:
Users that are interested in sql-viewer are comparing it to the libraries listed below
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- ☆30Updated 9 years ago
- Haskell wrapper for the CryptoCompare API - No longer maintained, ping me if you'd like to take over☆80Updated 4 years ago
- ☆41Updated 10 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆111Updated 5 years ago
- SQL micro-dialect implementation for querying JSON objects. Written purely in Scala.☆65Updated 4 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- Andl is A New Database Language☆75Updated 8 years ago
- A Typed, Composable Database Query Language☆104Updated 3 years ago
- Algebraic type based schema system☆129Updated 4 years ago
- Chaotic Life☆45Updated 7 years ago
- A learned index structure☆52Updated 4 years ago
- Public Progsbase Repository☆34Updated last week
- A small and expressive dependently typed language☆129Updated 4 years ago
- ebook versions of the book "Category Theory for the Sciences" by David I. Spivak☆114Updated 9 years ago
- writing on haskell☆33Updated 7 years ago
- A general-purpose data analysis engine radically changing the way batch and stream data is processed☆7Updated 6 years ago
- Papers We ❤️ Zurich☆50Updated 5 years ago
- ☆55Updated 7 years ago
- An example of PEG usage☆55Updated 8 years ago
- Haskell In New Clothes☆111Updated 4 years ago
- Type-safe, composable microservices for data analytics☆222Updated 11 months ago
- Implementation of popular consensus protocols☆22Updated 4 years ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- Alloy*---Higher Order Logic for Alloy☆37Updated 5 years ago
- Mmap radix sort file by a fixed length prefix of each line☆52Updated 4 years ago
- ☆33Updated 8 years ago
- ☆58Updated 2 years ago