Alternatives and similar repositories for squee

Users that are interested in squee are comparing it to the libraries listed below

• serras / hinc
  Haskell In New Clothes
  ☆110Updated 5 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 4 months ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 6 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆83Updated 4 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated last year
• bennorth / literate-git
  Render hierarchical git repositories into HTML
  ☆74Updated last year
• vmchale / polyglot
  Tool to count lines of source code.
  ☆254Updated 2 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆56Updated 8 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 4 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 7 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 2 months ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆42Updated 2 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 3 years ago
• jaredly / unison.rs
  ☆71Updated 3 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆42Updated 2 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆305Updated 2 years ago
• janestreet / jenga
  Build system
  ☆89Updated 7 years ago
• softwarefactory-project / dhall-ansible
  Ansible definitions with Dhall
  ☆68Updated last year
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• vmchale / madlang
  Madlang is a language for generative literature
  ☆51Updated 7 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆129Updated 6 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆110Updated 2 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated 2 years ago
• vmchale / tomlcheck
  A syntax checker for TOML files
  ☆28Updated 6 years ago
• solidsnack / pg-sql-variants
  Variants types for PostgreSQL
  ☆33Updated 5 years ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆38Updated 3 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 5 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 11 years ago