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
- The compiler for Keli☆173Updated 6 years ago
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- Proposed documentation for alloytools.org☆71Updated 3 weeks ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- Tool to count lines of source code.☆252Updated last year
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 8 months ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- A simple expressions language with polymorphic extensible row types.☆303Updated 2 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- A structural editor for JSON values☆77Updated 2 years ago
- ☆55Updated 8 years ago
- Algebraic type based schema system☆129Updated 5 years ago
- A compiler for a simple language using llvm☆35Updated 2 years ago
- ☆69Updated 3 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- A short guide detailing how to bootstrap PureScript.☆25Updated 6 years ago
- Jupyter notebooks☆58Updated 10 months ago
- Stroll: an experimental build system☆41Updated 2 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- ☆37Updated last year
- A typed, polyglot, functional language☆204Updated this week
- Cell compiler☆115Updated 2 years ago
- PoC for Object Oriented Haskell☆21Updated 5 years ago
- Fast Aho-Corasick string searching☆187Updated 7 months ago
- A Pascal to LLVM compiler in Haskell☆124Updated 5 years ago