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 5 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 9 months ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆174Updated 6 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 7 months ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 10 months ago
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆252Updated last year
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆130Updated 5 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 2 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆83Updated 4 months ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆62Updated 4 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• darklang / philip2
  An Elm to OCaml compiler
  ☆208Updated 5 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆204Updated this week
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆125Updated 5 years ago
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆211Updated 6 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated last year
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated 2 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 7 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 4 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago