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 4 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 5 months ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆52Updated 2 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 5 months ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 2 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆50Updated 3 months ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated last year
• github / deli
  ☆166Updated 4 years ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 5 years ago
• dfithian / chez-grater
  ☆36Updated last year
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 5 years ago
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆209Updated 6 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 5 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆104Updated last year
• cdosborn / lit
  A modern tool for literate programming
  ☆274Updated 8 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated 2 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• weeezes / plot
  Simple plotting tool for the terminal
  ☆86Updated last year
• channable / icepeak
  Icepeak is a fast JSON document store with push notification support.
  ☆130Updated 3 months ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 9 months ago
• softwarefactory-project / dhall-ansible
  Ansible definitions with Dhall
  ☆68Updated 10 months ago
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 5 years ago
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago