xu-hao / QueryArrow
A semantically unified SQL and NoSQL query and update system
☆17Updated 6 years ago
Alternatives and similar repositories for QueryArrow
Users that are interested in QueryArrow are comparing it to the libraries listed below
Sorting:
- Combinatorial species in HoTT☆12Updated 9 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆14Updated 7 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- experimental computational medium and supporting tools☆22Updated 2 weeks ago
- OCaml back end for Idris☆22Updated 7 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- TODO☆10Updated 9 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- Category Theory in Agda☆13Updated 7 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 9 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆32Updated 2 months ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- αProlog☆17Updated last year
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- TODO☆23Updated 9 years ago
- Selective applicative functors laws and theorems☆14Updated 5 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18Updated 8 years ago
- Cohesive type theory☆19Updated 3 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Type theory in type theory☆16Updated 13 years ago
- A string diagram generator for LaTeX.☆26Updated last year
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- Synthetic Differential Geometry in Agda☆12Updated 10 years ago