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 5 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- Proposed documentation for alloytools.org☆71Updated last month
- The compiler for Keli☆173Updated 6 years ago
- Tool to count lines of source code.☆252Updated last year
- ☆55Updated 8 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 9 months ago
- Jupyter notebooks☆58Updated 10 months ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- A compiler for a simple language using llvm☆36Updated 2 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- A structural editor for JSON values☆77Updated 3 years ago
- ☆70Updated 3 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- Algebraic type based schema system☆129Updated 5 years ago
- Render hierarchical git repositories into HTML☆74Updated 9 months ago
- Edison: A Library of Efficient Data Structures☆56Updated 6 months ago
- Work in progress pure python dhall interpreter☆27Updated 6 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆42Updated 2 years ago
- Stroll: an experimental build system☆41Updated 2 years ago
- Cell compiler☆115Updated 2 years ago
- Dhall helpers for github actions☆54Updated last year
- theseus, functional programming language with fully reversible computation☆123Updated 6 years ago
- A simple expressions language with polymorphic extensible row types.☆303Updated 2 years ago