KMahoney / squeeLinks
A Typed, Composable Database Query Language
☆104Updated 4 years ago
Alternatives and similar repositories for squee
Users that are interested in squee are comparing it to the libraries listed below
Sorting:
- Haskell In New Clothes☆110Updated 4 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- The compiler for Keli☆173Updated 6 years ago
- Proposed documentation for alloytools.org☆70Updated 7 months ago
- ☆166Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- PoC for Object Oriented Haskell☆21Updated 5 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- ☆37Updated last year
- Render hierarchical git repositories into HTML☆74Updated 5 months ago
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- Jupyter notebooks☆58Updated 6 months ago
- Dhall helpers for github actions☆54Updated last year
- ☆55Updated 8 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 5 months ago
- A simple expressions language with polymorphic extensible row types.☆302Updated 2 years ago
- A structural editor for JSON values☆77Updated 2 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆131Updated 4 years ago
- A modern tool for literate programming☆275Updated 8 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 3 years ago
- Compile Idris to Vimscript, like you always wanted.☆131Updated 7 years ago
- Simple plotting tool for the terminal☆86Updated last year
- A language for pipe-based programming☆52Updated 2 years ago
- Various experiments in relational programming☆272Updated 3 years ago
- A compiler for a simple language using llvm☆35Updated 2 years ago
- Hasmin - A Haskell CSS Minifier☆57Updated last year
- Type-safe data versioning.☆98Updated last year
- Stroll: an experimental build system☆40Updated 2 years ago