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
- 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
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- experimental computational medium and supporting tools☆22Updated this week
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 8 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆31Updated last month
- Proof checker for propositional logic☆16Updated 7 years ago
- TODO☆10Updated 9 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18Updated 7 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆16Updated 5 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- αProlog☆17Updated last year
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- Haskell implementation of open games☆12Updated 9 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 4 years ago
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Cohesive type theory☆19Updated 3 years ago
- Invertible parsing for S-expressions☆34Updated 3 weeks ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 10 months ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago