Alternatives and similar repositories for HowardLang:

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

• phadej / overloaded
  Overloaded plugin
  ☆30Updated 7 months ago
• byteverse / bytesmith
  Parse bytes fast
  ☆24Updated 8 months ago
• SamuelSchlesinger / stm-incremental
  A very simple interface for incremental computation using STM in Haskell.
  ☆13Updated last year
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 2 years ago
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆15Updated 4 months ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 12 years ago
• LightAndLight / sage
  Efficient parser combinators for Haskell
  ☆39Updated 9 months ago
• dorchard / sessions-in-haskell
  Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"
  ☆15Updated 7 years ago
• rampion / conkin
  Tools for functors from Hask^k to Hask
  ☆23Updated 5 years ago
• masaeedu / monadoptics
  Profunctor optics for the endofunctor category on Hask
  ☆27Updated 4 years ago
• solomon-b / monoidal-functors
  A library encoding monoidal functors and related structures in Haskell.
  ☆16Updated 11 months ago
• nachivpn / nbe-edsl
  Normalization by Evaluation for Embedded Domain-specific Languages
  ☆31Updated 2 months ago
• simonmar / haxlbuild
  An experimental build system based on the Haxl library
  ☆8Updated 5 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• TOTBWF / cubical-categories
  Category theory formalized in cubical agda
  ☆21Updated 4 years ago
• nobrakal / tungsten
  Bring fusion to everyone
  ☆13Updated 4 years ago
• archambaultv / sexpresso
  Flexible Haskell library for parsing and printing S-Expressions
  ☆20Updated 2 months ago
• isovector / algebra-checkers
  checkers for algebra driven design
  ☆34Updated 2 years ago
• mwotton / roboservant
  generate contextually sensible fuzz tests for servant apps
  ☆26Updated 2 months ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• BebeSparkelSparkel / biparsing
  Bidirectional Parsing. Work in Progress
  ☆31Updated 3 months ago
• covid-db / covid-scrapers
  ☆13Updated 4 years ago
• emilypi / order
  Order theory
  ☆23Updated last year
• bgamari / criterion-compare
  A simple tool for visualising differences in Criterion benchmark results
  ☆14Updated 4 years ago
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆29Updated 3 years ago
• Icelandjack / idiomatic
  Deriving Applicative for sum types.. Idiomatically.
  ☆11Updated 2 years ago
• i-am-tom / dagless
  A monadic interface for DAG construction.
  ☆24Updated 3 years ago
• omelkonian / rewrite-inspector
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Updated 5 years ago
• agentultra / DataVersion
  ☆20Updated 2 years ago