Alternatives and similar repositories for heckle

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

• katychuang / getting-started-with-haskell
  notes on where to find Haskell tutorials and tips to complete them
  ☆119Updated 6 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆147Updated 4 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆187Updated 4 months ago
• jaspervdj / jaspervdj
  Source code of my personal home page.
  ☆123Updated last week
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 8 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆166Updated 4 years ago
• bryangarza / qwu
  twitter clone in haskell
  ☆12Updated 9 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 4 years ago
• ethercrow / yi-config
  ☆15Updated 6 years ago
• alpmestan / hnn
  haskell neural network library
  ☆113Updated 8 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆136Updated 5 months ago
• haskell-org / summer-of-haskell
  Source code of summer.haskell.org
  ☆93Updated 4 months ago
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆152Updated 11 months ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆167Updated 3 weeks ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 5 years ago
• katychuang / hakyll-cssgarden
  gallery of themes for hakyll static site generator
  ☆85Updated 6 years ago
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆104Updated last year
• intolerable / reddit
  reddit api for haskell
  ☆77Updated 3 years ago
• wellposed / numerical
  Numerical is the core library for Numerical Haskell
  ☆138Updated last year
• olydis / coq2latex
  A command-line tool to generate Latex (inference rules) from inductive coq definitions.
  ☆30Updated 8 years ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 10 years ago
• lambdabot / lambdabot
  A friendly IRC bot and apprentice coder, written in Haskell.
  ☆165Updated 2 months ago
• diagrams / diagrams-lib
  Diagrams standard library
  ☆139Updated last month
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 7 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• iand675 / haskell-checklist
  Preflight checklist for Haskell code. Aspire to greatness!
  ☆68Updated 8 years ago