Alternatives and similar repositories for Numerieke-Wiskunde:

Users that are interested in Numerieke-Wiskunde are comparing it to the libraries listed below

• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• MidasLamb / 3BachInfo
  "The best repository for the third phase of the bachelor IT, ★★★★★ " -Hanne Peeters
  ☆5Updated 6 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• KULeuven-CS / Parallel-Computing
  Parallel Computing (B-KUL-H03F9A)
  ☆9Updated 10 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• bollu / diffgeo
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Updated 3 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• colah / Motivated-Topology
  A topology textbook with a hubristic title
  ☆30Updated 9 years ago
• latticetower / MuKanren.jl
  minimal miniKanren implementation in Julia
  ☆23Updated 7 years ago
• j2kun / art-turing-ellipse
  A six-panel artistic rendition of Alan Turing
  ☆20Updated 4 years ago
• byorgey / species
  ☆17Updated last year
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 6 years ago
• zz85 / fast-rectangles
  Different and fast approaches to rendering rectangles in your browser
  ☆17Updated 9 years ago
• ajtulloch / hopfield-networks
  Hopfield Networks for unsupervised learning in Haskell
  ☆16Updated 11 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆22Updated 6 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 10 years ago
• Metadiff / gir
  Graph Intermediate Representation (GIR) library for ML
  ☆22Updated 8 years ago
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 7 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• otherlab / fractal
  Various fractal scripts
  ☆34Updated 10 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"
  ☆18Updated 6 years ago
• cleichner / haskell-ipfs
  Haskell implementation of the InterPlanetary File System
  ☆14Updated 10 years ago
• zenna / Sigma.jl
  Sigma is a probabilistic programming environment implemented in Julia
  ☆68Updated 5 years ago
• jasonmorton / Typeclass.jl
  multiparameter typeclasses for Julia
  ☆24Updated 8 years ago