Alternatives and similar repositories for heckle:

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

• katychuang / hakyll-cssgarden
  gallery of themes for hakyll static site generator
  ☆85Updated 5 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆206Updated 6 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆165Updated 4 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
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆185Updated this week
• haskell-org / summer-of-haskell
  Source code of summer.haskell.org
  ☆90Updated last week
• srcreigh / aluffi
  Solutions to Paolo Aluffi's "Algebra: Chapter 0".
  ☆57Updated 7 years ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆101Updated last year
• diagrams / diagrams-lib
  Diagrams standard library
  ☆139Updated 3 weeks ago
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆53Updated 4 years ago
• bryangarza / qwu
  twitter clone in haskell
  ☆12Updated 9 years ago
• 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
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 4 years ago
• haskell-suite / haskell-src-exts
  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
  ☆197Updated last year
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆190Updated 6 years ago
• intolerable / reddit
  reddit api for haskell
  ☆77Updated 2 years ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆168Updated last year
• rudymatela / concise-cheat-sheets
  Cheat Sheets for programming languages and tools
  ☆112Updated last year
• augustss / djinn
  Generate Haskell code from a type
  ☆134Updated last month
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• iand675 / haskell-checklist
  Preflight checklist for Haskell code. Aspire to greatness!
  ☆68Updated 8 years ago
• haskell / fgl
  A Functional Graph Library for Haskell
  ☆188Updated 6 months ago
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆90Updated 4 years ago
• wellposed / numerical
  Numerical is the core library for Numerical Haskell
  ☆137Updated 9 months ago
• raaz-crypto / raaz
  Cryptographic library for Haskell
  ☆67Updated last month