Alternatives and similar repositories for slope-field:

Users that are interested in slope-field are comparing it to the libraries listed below

• mdibaiee / picedit
  simple set of functions and cli for image manipulation
  ☆12Updated 8 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• DataHaskell / numeric-libs-benchmarks
  - An overview of Haskell numerical libraries
  ☆15Updated 8 years ago
• mdibaiee / sibe
  Experimental Haskell machine learning library
  ☆35Updated 7 years ago
• ekmett / transformers-compat
  transformers compatibility shim
  ☆10Updated 2 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 9 years ago
• rudymatela / extrapolate
  generalize counter-examples of property-based testing
  ☆13Updated 2 months ago
• patrickt / tactics
  Deep-embedded combinators for strategic rewriting.
  ☆15Updated 3 years ago
• ezrakilty / narc
  Nested Relational Calculus embedded in Haskell
  ☆16Updated 12 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• planetmath / fem2016
  2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)
  ☆17Updated 9 years ago
• pepeiborra / control-monad-exception
  Explicitly Typed exceptions as a library
  ☆22Updated 4 years ago
• jwiegley / control-theory
  Control theory in Haskell: Data structures, algorithms and adapters
  ☆80Updated 6 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• FranklinChen / spreadsheet-haskell
  Spreadsheet demo in Haskell
  ☆16Updated 5 months ago
• haskell-distributed / distributed-process-platform
  DEPRECATED (Cloud Haskell Platform) in favor of distributed-process-extras, distributed-process-async, distributed-process-client-server,…
  ☆47Updated 9 years ago
• fsestini / zsyntax
  Automated theorem prover for a linear logic-based calculus for molecular biology.
  ☆12Updated last year
• haskell / network-uri
  URI manipulation facilities
  ☆25Updated 2 months ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• liyang / fast-math
  Play fast and loose with IEEE-754 rewrite RULES
  ☆25Updated 9 years ago
• relrod / ct
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Updated 5 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• sebastiaanvisser / salvia
  Salvia - Modular Haskell HTTP server.
  ☆24Updated 14 years ago
• lemmih / fvg
  Functional Vector Graphics
  ☆17Updated 7 years ago
• tchajed / goedel-t
  Formalization of termination of Gödel's System T
  ☆9Updated 3 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 10 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 5 months ago
• nikita-volkov / slave-thread
  A principal solution to ghost threads and silent exceptions
  ☆24Updated last year