KMahoney / squee
A Typed, Composable Database Query Language
☆104Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for squee
- Haskell In New Clothes☆111Updated 4 years ago
- Proposed documentation for alloytools.org☆69Updated 8 months ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 5 years ago
- The compiler for Keli☆171Updated 5 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Functional, expression-oriented data processing language☆81Updated this week
- Hygienic typed literal macros (TLMs) for Reason☆208Updated 5 years ago
- optimize your home bar with ✨logic programming✨☆75Updated 2 years ago
- An Elm to OCaml compiler☆205Updated 4 years ago
- A structural editor for JSON values☆78Updated 2 years ago
- ☆37Updated last year
- Build system☆90Updated 6 years ago
- A language for pipe-based programming☆51Updated last year
- a simple functional language for learners☆30Updated 7 years ago
- The Makam Metalanguage☆194Updated last year
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆129Updated 4 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated 4 years ago
- A simple expressions language with polymorphic extensible row types.☆302Updated last year
- Book: Introduction to Dependent Types with Idris☆76Updated last year
- ☆55Updated 7 years ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- Jupyter notebooks☆58Updated this week
- A Datalog extension to reason about time with CTL operators☆14Updated 4 years ago
- Edison: A Library of Efficient Data Structures☆55Updated 10 months ago
- Fast Aho-Corasick string searching☆185Updated 2 months ago
- Fast and simple JSON encoding toolkit☆83Updated 11 months ago
- A modern tool for literate programming☆273Updated 7 years ago
- The Kuljet language☆26Updated 3 years ago
- GHCJS front-end for queryparser☆80Updated 6 years ago
- Render hierarchical git repositories into HTML☆73Updated 2 months ago