Alternatives and similar repositories for tcal:

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

• 414owen / phage
  The Phage Programming Language
  ☆13Updated 4 years ago
• morgenthum / lambda-heights
  A fast paced arcade game
  ☆52Updated 5 years ago
• glguy / advent2017
  Advent of Code 2017 solutions
  ☆27Updated 4 years ago
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆93Updated 4 months ago
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆43Updated 5 months ago
• ChrisPenner / lens-regex-pcre
  Text lenses using PCRE regexes
  ☆126Updated 4 months ago
• matsumonkie / izuna
  Show Haskell type annotations when doing code review on Github
  ☆142Updated 4 years ago
• ChrisPenner / proton
  Haskell Profunctor Optics experiments
  ☆15Updated 3 years ago
• haskell-checkers / checkers
  Check properties on standard classes and data structures
  ☆79Updated last year
• ephemient / aoc2017
  Advent of Code 2017 - my answers
  ☆16Updated 7 years ago
• fpco / applied-haskell
  ☆80Updated 6 years ago
• glguy / advent2018
  Advent of Code 2018 Solutions
  ☆37Updated 5 years ago
• sjoerdvisscher / proarrow
  Haskell library for doing category theory with a central role for profunctors
  ☆21Updated 3 weeks ago
• well-typed / visualize-cbn
  ☆100Updated last month
• georgejkaye / lamviz-js
  A visualiser for lambda terms as rooted maps.
  ☆14Updated 3 years ago
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆52Updated last year
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆24Updated last week
• well-typed / falsify
  ☆44Updated last month
• tfausak / evoke
  A GHC plugin to derive instances.
  ☆23Updated 2 years ago
• logicshan / pj-lester-book
  ☆17Updated 10 years ago
• Lysxia / first-class-families
  First-class type families
  ☆87Updated 8 months ago
• parsonsmatt / kale
  A quick, easy, and declarative task runner for Haskell code to destroy your boiler plate!
  ☆33Updated 7 years ago
• markokoleznik / agda-writer
  A simple GUI for Agda
  ☆31Updated 9 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 8 months ago
• opqdonut / haskell-exercises
  Haskell exercises with automatic tests
  ☆158Updated 3 years ago
• sdiehl / repline
  Haskeline wrapper for GHCi-like REPL interfaces
  ☆107Updated last year
• masaeedu / monoidal
  ☆10Updated 4 years ago
• shapr / kudzu
  coverage driven random testing framework
  ☆23Updated 5 months ago
• fireflowerr / sudoku.hs
  sudoku solver in haskell
  ☆41Updated 3 years ago
• xldenis / ill
  educational compiler for not (quite) toy languages
  ☆21Updated 6 years ago