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
  ☆111Updated 4 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆111Updated 5 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 3 months ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆172Updated 5 years ago
• xoba / sc
  storage combinators
  ☆18Updated 4 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 2 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 2 months ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆77Updated 3 years ago
• weeezes / plot
  Simple plotting tool for the terminal
  ☆86Updated last year
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆50Updated last month
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆52Updated 2 years ago
• dlthomas / sql-viewer
  GHCJS front-end for queryparser
  ☆80Updated 6 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆63Updated 8 months ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆102Updated last year
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆130Updated 4 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• robdockins / edison
  Edison: A Library of Efficient Data Structures
  ☆55Updated 2 weeks ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆197Updated last year
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆208Updated 6 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆86Updated last week
• cdosborn / lit
  A modern tool for literate programming
  ☆274Updated 7 years ago
• Drup / tyre
  Typed Regular Expressions
  ☆170Updated 5 years ago
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 5 years ago