xu-hao / QueryArrow
A semantically unified SQL and NoSQL query and update system
☆17Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for QueryArrow
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- 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 6 years ago
- Category Theory in Agda☆12Updated 6 years ago
- Combinatorial species in HoTT☆12Updated 9 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- OCaml back end for Idris☆22Updated 6 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18Updated 7 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 6 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 8 years ago
- A playground for type theory implementations in Racket☆20Updated 8 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- A categorical semantics library in Agda.☆17Updated 4 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- Constraint Handling Rules☆15Updated 2 months ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆16Updated 4 years ago
- secret project☆17Updated 6 years ago
- A tiny implementation of dependent types.☆11Updated 7 years ago
- The (very) small kernel of the LaTTe proof assistant☆11Updated last year
- An implementation of microKanren in Shen☆9Updated 9 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 2 years ago
- A small NuPRL style proof assistant☆32Updated 5 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 5 months ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago