Alternatives and similar repositories for heckle:

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

• jaspervdj / jaspervdj
  Source code of my personal home page.
  ☆123Updated last week
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• 1HaskellADay / 1HAD
  1 Haskell A Day exercises
  ☆118Updated 10 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
• wavewave / hoodle
  hoodle : A pen notetaking program written in haskell
  ☆146Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 2 months ago
• bryangarza / qwu
  twitter clone in haskell
  ☆12Updated 8 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 3 years ago
• katychuang / getting-started-with-haskell
  notes on where to find Haskell tutorials and tips to complete them
  ☆120Updated 6 years ago
• iand675 / haskell-checklist
  Preflight checklist for Haskell code. Aspire to greatness!
  ☆68Updated 8 years ago
• katychuang / hakyll-cssgarden
  gallery of themes for hakyll static site generator
  ☆85Updated 5 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆131Updated this week
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆84Updated 9 years ago
• jamievicary / globular
  Globular
  ☆39Updated 6 years ago
• alpmestan / hnn
  haskell neural network library
  ☆112Updated 7 years ago
• nh2 / haskell-from-python
  Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)
  ☆58Updated 12 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆101Updated last year
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 7 years ago
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆53Updated 4 years ago
• ekmett / linear
  Low-dimensional linear algebra primitives for Haskell.
  ☆206Updated 3 weeks ago
• coq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆165Updated 3 months ago
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆168Updated last year
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆144Updated 9 years ago
• jekor / hesh
  Haskell Extensible Shell
  ☆68Updated 4 years ago
• blaenk / blaenk.github.io
  the source for my personal site, written in Haskell, powered by Hakyll
  ☆47Updated 3 years ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 9 years ago
• wellposed / numerical
  Numerical is the core library for Numerical Haskell
  ☆137Updated 7 months ago
• Michaelt293 / isotope
  Haskell library containing isotopic masses and relative abundances for elements from Hydrogen to Bismuth and Thorium and Uranium (excludi…
  ☆16Updated 5 years ago
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆101Updated 11 months ago