Alternatives and similar repositories for heckle:

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

• wavewave / hoodle
  hoodle : A pen notetaking program written in haskell
  ☆146Updated last year
• katychuang / getting-started-with-haskell
  notes on where to find Haskell tutorials and tips to complete them
  ☆119Updated 6 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆186Updated 3 weeks ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 12 years ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆166Updated 5 months ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆164Updated 4 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆101Updated last year
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆148Updated 4 years ago
• bryangarza / qwu
  twitter clone in haskell
  ☆12Updated 9 years ago
• jaspervdj / jaspervdj
  Source code of my personal home page.
  ☆123Updated 2 months ago
• katychuang / hakyll-cssgarden
  gallery of themes for hakyll static site generator
  ☆85Updated 6 years ago
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆53Updated 4 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆163Updated 2 years ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 5 years ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 7 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆134Updated last month
• iand675 / haskell-checklist
  Preflight checklist for Haskell code. Aspire to greatness!
  ☆68Updated 8 years ago
• byorgey / haskell-course
  Introductory Haskell course materials (originally CIS 194 @ UPenn)
  ☆278Updated 2 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• nh2 / haskell-from-python
  Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)
  ☆58Updated 12 years ago
• 1HaskellADay / 1HAD
  1 Haskell A Day exercises
  ☆118Updated 10 years ago
• alpmestan / hnn
  haskell neural network library
  ☆112Updated 8 years ago
• haskell-org / summer-of-haskell
  Source code of summer.haskell.org
  ☆91Updated last month
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆168Updated last year
• diagrams / diagrams
  Embedded domain-specific language for declarative vector graphics (wrapper package)
  ☆207Updated last year
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆244Updated 5 years ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆280Updated 4 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 3 years ago
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆150Updated 7 months ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆134Updated 5 years ago