Alternatives and similar repositories for heckle

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

• alpmestan / hnn
  haskell neural network library
  ☆113Updated 8 years ago
• jaspervdj / jaspervdj
  Source code of my personal home page.
  ☆123Updated 2 months ago
• katychuang / getting-started-with-haskell
  notes on where to find Haskell tutorials and tips to complete them
  ☆120Updated 6 years ago
• katychuang / hakyll-cssgarden
  gallery of themes for hakyll static site generator
  ☆85Updated 6 years ago
• haskell-org / summer-of-haskell
  Source code of summer.haskell.org
  ☆95Updated 7 months ago
• lambdabot / lambdabot
  A friendly IRC bot and apprentice coder, written in Haskell.
  ☆165Updated 5 months ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• diagrams / diagrams
  Embedded domain-specific language for declarative vector graphics (wrapper package)
  ☆219Updated 6 months ago
• srcreigh / aluffi
  Solutions to Paolo Aluffi's "Algebra: Chapter 0".
  ☆57Updated 7 years ago
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆154Updated last year
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆149Updated 4 years ago
• intolerable / reddit
  reddit api for haskell
  ☆77Updated 3 years ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆205Updated 7 years ago
• diagrams / diagrams-lib
  Diagrams standard library
  ☆140Updated 2 months ago
• blaenk / blaenk.github.io
  the source for my personal site, written in Haskell, powered by Hakyll
  ☆48Updated 3 years ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated 2 years ago
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆159Updated 4 months ago
• wavewave / hoodle
  hoodle : A pen notetaking program written in haskell
  ☆146Updated 2 years ago
• chris-taylor / aima-haskell
  Algorithms from AIMA in Haskell
  ☆335Updated 8 years ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆89Updated 8 years ago
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆170Updated 2 years ago
• ekmett / linear
  Low-dimensional linear algebra primitives for Haskell.
  ☆211Updated 4 months ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆146Updated 6 years ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 5 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆191Updated 3 weeks ago
• iand675 / haskell-checklist
  Preflight checklist for Haskell code. Aspire to greatness!
  ☆68Updated 9 years ago
• haskell-suite / haskell-src-exts
  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
  ☆201Updated 2 years ago
• wellposed / numerical
  Numerical is the core library for Numerical Haskell
  ☆139Updated last year
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆56Updated 5 years ago