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
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 5 years ago
- Proposed documentation for alloytools.org☆69Updated last week
- The compiler for Keli☆171Updated 5 years ago
- optimize your home bar with ✨logic programming✨☆75Updated 2 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Fast Aho-Corasick string searching☆185Updated 2 months ago
- ☆166Updated 3 years ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- ☆41Updated 10 years ago
- Hygienic typed literal macros (TLMs) for Reason☆208Updated 5 years ago
- storage combinators☆18Updated 4 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- A simple, flexible and composable web-router☆85Updated 5 years ago
- The Makam Metalanguage☆194Updated last year
- ☆37Updated last year
- Jupyter notebooks☆58Updated 2 weeks ago
- A modern tool for literate programming☆273Updated 7 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Functional, expression-oriented data processing language☆81Updated this week
- A script for running TLA+/TLC from the command line☆80Updated 3 years ago
- a simple functional language for learners☆30Updated 7 years ago
- A simple expressions language with polymorphic extensible row types.☆302Updated last year
- Ansible definitions with Dhall☆66Updated 4 months ago
- Fast and simple JSON encoding toolkit☆83Updated 11 months ago
- A typed, polyglot, functional language☆195Updated last week
- Kempe is a compiled stack-based language☆58Updated last month
- Various experiments in relational programming☆270Updated 2 years ago
- ☆55Updated 7 years ago