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
• mdibaiee / sibe
  Experimental Haskell machine learning library
  ☆35Updated 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
• relrod / ct
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Updated 5 years ago
• DataHaskell / numeric-libs-benchmarks
  - An overview of Haskell numerical libraries
  ☆15Updated 8 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• ekmett / transformers-compat
  transformers compatibility shim
  ☆10Updated 2 years ago
• Copilot-Language / copilot-language
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆15Updated 4 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆19Updated 6 years ago
• sebastiaanvisser / salvia
  Salvia - Modular Haskell HTTP server.
  ☆24Updated 14 years ago
• lemmih / fvg
  Functional Vector Graphics
  ☆17Updated 7 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• paulirish / emulation-popup-ext
  chrome extension for devtools device emulation of your current page
  ☆75Updated 8 years ago
• patrickt / tactics
  Deep-embedded combinators for strategic rewriting.
  ☆15Updated 3 years ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆35Updated 9 years ago
• yamadapc / haskell-drawille
  Port of asciimoo/drawille to haskell.
  ☆27Updated last year
• suhr / wcpl
  ☆16Updated 7 years ago
• nikita-volkov / slave-thread
  A principal solution to ghost threads and silent exceptions
  ☆24Updated last year
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• pepeiborra / control-monad-exception
  Explicitly Typed exceptions as a library
  ☆22Updated 4 years ago
• haskell / xhtml
  XHTML combinator library
  ☆9Updated 6 months ago
• lambdacube3d / lambdacube-ir
  LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
  ☆8Updated last year
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• fffej / haskellprojects
  just to keep a version of my code as I attempt to learn haskell.
  ☆23Updated 9 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• bos / suffixtree
  An efficient, lazy suffix tree implementation
  ☆13Updated 4 years ago