dlthomas / sql-viewerLinks
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
Sorting:
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Haskell wrapper for the CryptoCompare API - No longer maintained, ping me if you'd like to take over☆80Updated 5 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- writing on haskell☆33Updated 8 years ago
- Type-safe, composable microservices for data analytics☆223Updated last year
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- ☆41Updated 10 years ago
- ☆55Updated 8 years ago
- An infinite runner in your terminal☆104Updated 5 years ago
- SQL micro-dialect implementation for querying JSON objects. Written purely in Scala.☆65Updated 5 years ago
- Algebraic type based schema system☆129Updated 5 years ago
- Alloy*---Higher Order Logic for Alloy☆36Updated 5 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆64Updated 6 years ago
- Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.☆151Updated last year
- Papers We ❤️ Zurich☆50Updated this week
- A small and expressive dependently typed language☆131Updated 5 years ago
- Andl is A New Database Language☆75Updated 9 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- Chaotic Life☆44Updated 8 years ago
- Manual reproducible web API tests for web developers☆99Updated 2 years ago
- touch screen tree editor☆35Updated 8 years ago
- Haskell In New Clothes☆110Updated 5 years ago
- An example of PEG usage☆55Updated 9 years ago
- A totally proof-of-concept FoundationDB based network block device backend☆115Updated 7 years ago
- Haskell implementation of gzip-compatible `pack` compression from the early 1980s☆39Updated 7 years ago
- What Kai Thinks Every Developer Should Know About The Shell☆25Updated 8 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 6 years ago
- Make interactive games in Haskell using GIF streams that can be shown in the web browser☆201Updated 2 years ago