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
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆14Updated 7 years ago
- Category Theory in Agda☆13Updated 7 years ago
- experimental computational medium and supporting tools☆22Updated this week
- TODO☆10Updated 9 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- Combinatorial species in HoTT☆12Updated 9 years ago
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆16Updated 5 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆31Updated 3 weeks ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆18Updated 4 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 9 months ago
- A categorical semantics library in Agda.☆17Updated 5 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Proof checker for propositional logic☆16Updated 7 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 4 months ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 8 years ago
- ☆12Updated 5 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- A Self-Interpreter for F-omega☆16Updated 9 years ago