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 8 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 8 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 9 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• verivital / hyst
  HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
  ☆15Updated 4 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• otherlab / fractal
  Various fractal scripts
  ☆34Updated 10 years ago
• OutliersCollective / Oculus_SNA
  ☆14Updated 10 years ago
• rpmcruz / price-theory
  Economics games, inspired by David D. Friedman's
  ☆12Updated 7 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• urbit / archaeology
  An Operating Function
  ☆330Updated 10 years ago
• j2kun / elliptic-curves-rationals
  Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.
  ☆20Updated 5 years ago
• byorgey / species
  ☆17Updated last year
• rpasta42 / ChessKell
  Chess Engine written in Haskell
  ☆15Updated 7 years ago
• ChalmersGU-AI-course / shrdlite-course-project
  AI course project template, inspired by Terry Winograd's classic Shrdlu system
  ☆40Updated 7 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 3 weeks ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated 2 months ago
• iblech / mathe-notizen
  Random notes on mathematics (in German)
  ☆11Updated 2 months ago
• trishume / ratewithscience
  Rate things on arbitrary scales using big data and science!
  ☆51Updated 5 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• mnielsen / cognitivemedium
  Repo for cognitivemedium.com
  ☆13Updated 3 years ago
• bollu / diffgeo
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Updated 3 years ago
• labcoders / crystalball-knife-bomb
  Emoji functional programming language with a web IDE
  ☆15Updated 9 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 11 years ago
• MidasLamb / 2BachInfo
  Collection of summaries for the courses for second bachelor IT at KU Leuven
  ☆5Updated 8 years ago
• thi-ng / talks
  Slides & source code of various talks given
  ☆18Updated 10 years ago