xu-hao / QueryArrowLinks
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:
- experimental computational medium and supporting tools☆22Updated this week
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆14Updated 7 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- Combinatorial species in HoTT☆12Updated 10 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 9 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Category Theory in Agda☆13Updated 7 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- An implementation of microKanren in Shen☆10Updated 10 years ago
- TODO☆10Updated 9 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18Updated 8 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Updated 8 years ago
- Idris, but it's C☆24Updated 7 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- Cohesive type theory☆19Updated 3 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- A categorical semantics library in Agda.☆17Updated 5 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- software archaeology of reflective towers of interpreters☆16Updated 3 weeks ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆16Updated 5 years ago
- An experimental typed version of the Rosette language☆13Updated 6 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago