mdibaiee / slope-field

Related projects ⓘ

Alternatives and complementary repositories for slope-field

• mdibaiee / picedit
  simple set of functions and cli for image manipulation
  ☆12Updated 7 years ago
• DataHaskell / numeric-libs-benchmarks
  - An overview of Haskell numerical libraries
  ☆15Updated 8 years ago
• ekmett / transformers-compat
  transformers compatibility shim
  ☆10Updated last year
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 7 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 9 years ago
• cfredric / NumberTheory
  A Haskell number theory library.
  ☆13Updated 7 years ago
• relrod / ct
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆13Updated 5 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated last week
• conal / circat
  A categorical framework for circuit construction
  ☆30Updated 8 years ago
• tfausak / json-feed
  JSON Feed in Haskell.
  ☆11Updated last month
• gap-system / homebrew-gap
  Homebrew tap for GAP
  ☆14Updated 5 months ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• ichistmeinname / free-proving
  Resources for "One Monad to Prove Them All"
  ☆28Updated 5 years ago
• rudymatela / extrapolate
  generalize counter-examples of property-based testing
  ☆13Updated 9 months ago
• sebastiaanvisser / salvia
  Salvia - Modular Haskell HTTP server.
  ☆24Updated 14 years ago
• hspec / hspec-subject
  Support for RSpec-style `subject` and one-liner it-blocks
  ☆12Updated 2 years ago
• maxsnew / hakyll-elm
  Hakyll wrapper for the Elm (http://elm-lang.org) compiler
  ☆14Updated 10 years ago
• amcphail / plot
  Plot package similar to gnuplot
  ☆23Updated 7 months ago
• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆18Updated 4 years ago
• lucch / pesca
  pesca: Proof Editor for Sequent Calculus (mirror)
  ☆10Updated 7 years ago
• lkuper / lvar-semantics
  PLT Redex models of LVar calculi
  ☆10Updated 9 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 9 years ago
• mhwombat / som
  Self-Organising Map implementation in Haskell
  ☆23Updated 2 years ago
• dschepler / coq-topology
  Topology library for Coq
  ☆11Updated 8 years ago
• ct-gradual-typing / Papers
  The Combination of Dynamic and Static Typing from a Categorical Perspective
  ☆10Updated 7 years ago
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆15Updated 2 weeks ago
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆16Updated 7 months ago
• beastaugh / hatt
  Truth-table generator for classical propositional logic
  ☆26Updated 3 years ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago