Alternatives and similar repositories for slope-field

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

• fsestini / zsyntax
  Automated theorem prover for a linear logic-based calculus for molecular biology.
  ☆12Updated 2 years ago
• mdibaiee / sibe
  Experimental Haskell machine learning library
  ☆35Updated 8 years ago
• jwiegley / control-theory
  Control theory in Haskell: Data structures, algorithms and adapters
  ☆80Updated 6 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
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆17Updated last year
• tchajed / goedel-t
  Formalization of termination of Gödel's System T
  ☆9Updated 4 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 8 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 10 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• DataHaskell / numeric-libs-benchmarks
  - An overview of Haskell numerical libraries
  ☆14Updated 8 years ago
• sharkdp / purescript-decimals
  Arbitrary precision numbers for PureScript
  ☆13Updated 3 years ago
• maxsnew / hakyll-elm
  Hakyll wrapper for the Elm (http://elm-lang.org) compiler
  ☆15Updated 10 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• patrickt / tactics
  Deep-embedded combinators for strategic rewriting.
  ☆15Updated 3 years ago
• ekmett / transformers-compat
  transformers compatibility shim
  ☆10Updated 2 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• mignon-p / hs-wiringPi
  A Haskell binding to the wiringPi library, for using GPIO on the Raspberry Pi.
  ☆14Updated 5 years ago
• nikita-volkov / slave-thread
  A principal solution to ghost threads and silent exceptions
  ☆24Updated last year
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆26Updated last year
• hugopeixoto / mergesort
  Mergesort implemented in different languages
  ☆52Updated 3 years ago
• ocramz / sde
  Numerical experiments with stochastic differential equations
  ☆19Updated 6 years ago
• mdibaiee / picedit
  simple set of functions and cli for image manipulation
  ☆12Updated 8 years ago
• philzook58 / fib-anyon
  An implementation of Fibonacci Anyons in Haskell
  ☆22Updated 5 years ago
• sweirich / graded-haskell
  Graded Dependent Type systems
  ☆24Updated 2 years ago
• GaganSD / Connect-Four-AI-Bot
  Implementation of symbolic AI techniques for the board game 'Connect Four'
  ☆10Updated 5 years ago
• joom / distributed-hash-table
  A Haskell implementation of distributed hash tables with two-phase commit.
  ☆10Updated 8 years ago