Alternatives and similar repositories for heckle

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

• bryangarza / qwu
  twitter clone in haskell
  ☆12Updated 9 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆148Updated 4 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆103Updated last year
• intolerable / reddit
  reddit api for haskell
  ☆77Updated 2 years ago
• haskell-org / summer-of-haskell
  Source code of summer.haskell.org
  ☆91Updated 2 months ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆164Updated 4 years ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆91Updated 4 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆144Updated 9 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
• katychuang / hakyll-cssgarden
  gallery of themes for hakyll static site generator
  ☆85Updated 6 years ago
• katychuang / CleanMagic-hakyll
  medium inspired theme for hakyll
  ☆11Updated 3 years ago
• iand675 / haskell-checklist
  Preflight checklist for Haskell code. Aspire to greatness!
  ☆68Updated 8 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 2 months ago
• katychuang / getting-started-with-haskell
  notes on where to find Haskell tutorials and tips to complete them
  ☆119Updated 6 years ago
• raaz-crypto / raaz
  Cryptographic library for Haskell
  ☆68Updated 3 months ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆166Updated 3 weeks ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• srcreigh / aluffi
  Solutions to Paolo Aluffi's "Algebra: Chapter 0".
  ☆57Updated 7 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 9 years ago
• alpmestan / hnn
  haskell neural network library
  ☆112Updated 8 years ago
• wavewave / hoodle
  hoodle : A pen notetaking program written in haskell
  ☆146Updated last year
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆121Updated 3 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆134Updated 3 months ago
• blaenk / blaenk.github.io
  the source for my personal site, written in Haskell, powered by Hakyll
  ☆47Updated 3 years 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
• sdiehl / papers
  ☆96Updated 10 years ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 4 years ago