dlthomas / sql-viewer
GHCJS front-end for queryparser
☆80Updated 5 years ago
Related projects: ⓘ
- ☆130Updated this week
- SQL micro-dialect implementation for querying JSON objects. Written purely in Scala.☆65Updated 4 years ago
- Haskell wrapper for the CryptoCompare API - No longer maintained, ping me if you'd like to take over☆80Updated 3 years ago
- A Typed, Composable Database Query Language☆104Updated 3 years ago
- ☆41Updated 9 years ago
- writing on haskell☆33Updated 7 years ago
- Mmap radix sort file by a fixed length prefix of each line☆52Updated 4 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 3 years ago
- ☆22Updated this week
- SQL parser and type checker in Haskell☆109Updated 2 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 4 years ago
- Algebraic type based schema system☆128Updated 4 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 5 years ago
- Type-safe, composable microservices for data analytics☆222Updated 7 months ago
- ☆55Updated 7 years ago
- Implementation of popular consensus protocols☆22Updated 3 years ago
- Alloy*---Higher Order Logic for Alloy☆37Updated 4 years ago
- An infinite runner in your terminal☆104Updated 3 years ago
- Chaotic Life☆44Updated 6 years ago
- ebook versions of the book "Category Theory for the Sciences" by David I. Spivak☆112Updated 9 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- Jupyter notebooks☆57Updated 2 weeks ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Search engine with a static webserver☆67Updated 2 years ago
- A static web application to explore and animate a TLA+ state graph.☆196Updated 10 months ago
- A simple, flexible and composable web-router☆85Updated 5 years ago
- What Kai Thinks Every Developer Should Know About The Shell☆25Updated 7 years ago
- Explore Forum Structured Data (on HackerNews) Visually☆41Updated last year
- Public Progsbase Repository☆34Updated 6 years ago