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☆70Updated 9 months ago
- The compiler for Keli☆174Updated 6 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 7 months ago
- ☆55Updated 8 years ago
- Kempe is a compiled stack-based language☆58Updated 10 months ago
- Cell compiler☆115Updated 2 years ago
- Build system☆90Updated 6 years ago
- Tool to count lines of source code.☆252Updated last year
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- A small and expressive dependently typed language☆130Updated 5 years ago
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- A structural editor for JSON values☆77Updated 2 years ago
- Ordo: A minimalist language with row polymorphism☆83Updated 4 months ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- An Elm to OCaml compiler☆208Updated 5 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A typed, polyglot, functional language☆204Updated this week
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago
- Hygienic typed literal macros (TLMs) for Reason☆211Updated 6 years ago
- Dhall helpers for github actions☆54Updated last year
- A compiler for a simple language using llvm☆35Updated 2 years ago
- The Ur/Web People Organizer☆30Updated last year
- ☆47Updated 7 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- Brainfuck with Actors☆36Updated 6 years ago