MathworldvrMath world in WebVR, powered by A-frame.
Stars: ✭ 73 (-65.24%)
Riemann bookAn interactive book about the Riemann problem for hyperbolic PDEs, using Jupyter notebooks. Work in progress.
Stars: ✭ 160 (-23.81%)
IgraphLibrary for the analysis of networks
Stars: ✭ 1,145 (+445.24%)
Gonum开源Go语言数值算法库(An open numerical library purely based on Go programming language)
Stars: ✭ 128 (-39.05%)
OpenlletOpenllet is an OWL 2 reasoner in Java, build on top of Pellet.
Stars: ✭ 66 (-68.57%)
AccupyAccurate sums and dot products for Python.
Stars: ✭ 65 (-69.05%)
CalcC-style arbitrary precision calculator
Stars: ✭ 127 (-39.52%)
DigitalA digital logic designer and circuit simulator.
Stars: ✭ 1,108 (+427.62%)
DslsofmathDomain Specific Languages of Mathematics
Stars: ✭ 159 (-24.29%)
PhpermutationsGenerate Permutations and Combinations in an efficient way.
Stars: ✭ 56 (-73.33%)
Dls SchematicsSchematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls
Stars: ✭ 124 (-40.95%)
MishOfficial Repsoitory for "Mish: A Self Regularized Non-Monotonic Neural Activation Function" [BMVC 2020]
Stars: ✭ 1,072 (+410.48%)
Mathmodel研究生数学建模,本科生数学建模、数学建模竞赛优秀论文,数学建模算法,LaTeX论文模板,算法思维导图,参考书籍,Matlab软件教程,PPT
Stars: ✭ 3,834 (+1725.71%)
RingsRings: efficient JVM library for polynomial rings
Stars: ✭ 50 (-76.19%)
DomainsA computational algebra system in Smalltalk.
Stars: ✭ 124 (-40.95%)
Latex ExamplesExamples for the usage of LaTeX
Stars: ✭ 1,032 (+391.43%)
C Plus PlusCollection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.
Stars: ✭ 17,151 (+8067.14%)
BlogAbout math, programming and procedural generation
Stars: ✭ 37 (-82.38%)
SwiftmathCross-platform math library with SIMD support
Stars: ✭ 30 (-85.71%)
Cadabra2A field-theory motivated approach to computer algebra.
Stars: ✭ 112 (-46.67%)
Math NotesApuntes de las asignaturas de matemáticas en la UGR
Stars: ✭ 14 (-93.33%)
Jlatexmath AndroidaJLaTeXMath Library - Displays LaTeX commands in android OS.
Stars: ✭ 147 (-30%)
BacomathiquesBacomathiques est un petit site web qui contient tout ce dont vous avez besoin pour réviser vos maths en toute tranquillité de la Première à la Terminale ! Que vous cherchiez à passer votre BAC ou que vous souhaitiez simplement réviser votre cours : tout est possible et tout est gratuit.
Stars: ✭ 12 (-94.29%)
NaluBasic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al
Stars: ✭ 110 (-47.62%)
Awesome Ai BooksSome awesome AI related books and pdfs for learning and downloading, also apply some playground models for learning
Stars: ✭ 855 (+307.14%)
Acl2ACL2 System and Books as Maintained by the Community
Stars: ✭ 200 (-4.76%)
Mathos ParserA mathematical expression parser and evaluation library.
Stars: ✭ 26 (-87.62%)
Imagine OldModeling and simulations using computational graphs
Stars: ✭ 25 (-88.1%)
TexmeSelf-rendering Markdown + LaTeX documents
Stars: ✭ 1,970 (+838.1%)
Modal logicFinal Year Masters Project: modal logic solver tableaux
Stars: ✭ 16 (-92.38%)
Project Euler SolutionsRunnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
Stars: ✭ 1,374 (+554.29%)
Meshioinput/output for many mesh formats
Stars: ✭ 814 (+287.62%)
Computator.netComputator.NET is a special kind of numerical software that is fast and easy to use but not worse than others feature-wise. It's features include: - Real and complex functions charts - Real and complex calculator - Real functions numerical calculations including different methods - Over 107 Elementary functions - Over 141 Special functions - Over 21 Matrix functions and operations - Scripting language with power to easy computations including matrices - You can declare your own custom functions with scripting language
Stars: ✭ 174 (-17.14%)
FlixThe Flix Programming Language
Stars: ✭ 719 (+242.38%)
AlgorithmsA collection of algorithms and data structures
Stars: ✭ 11,553 (+5401.43%)
UnimathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Stars: ✭ 680 (+223.81%)
GeogebraGeoGebra apps (mirror)
Stars: ✭ 616 (+193.33%)
AlgorithmsA repository of different Algorithms and Data Structures implemented in many programming languages.
Stars: ✭ 578 (+175.24%)
PyboticsThe Python Toolbox for Robotics
Stars: ✭ 192 (-8.57%)
PenroseCreate beautiful diagrams just by typing mathematical notation in plain text.
Stars: ✭ 4,984 (+2273.33%)
Computer Science ResourcesA list of resources in different fields of Computer Science (multiple languages)
Stars: ✭ 1,316 (+526.67%)
CindyjsA JavaScript framework for interactive (mathematical) content.
Stars: ✭ 495 (+135.71%)
PolymathScientific Computing with Pharo
Stars: ✭ 135 (-35.71%)
PltλΠ Programming Language Theory
Stars: ✭ 4,609 (+2094.76%)
CoordinateaxischartDrawing graphs of point, linear function, power function, exponential function, logarithmic function, circular function, etc in a coordinate. (实现了在坐标系中画点,一次函数,幂函数,指数函数,对数函数,三角函数等)
Stars: ✭ 90 (-57.14%)
CalcflowA virtual reality tool for mathematical modeling!
Stars: ✭ 471 (+124.29%)
MeseconsMod for minetest that adds digital circuitry [=minecraft redstone]
Stars: ✭ 165 (-21.43%)
Notebooks 📓 A growing collection of Jupyter Notebooks written in Python, OCaml and Julia for science examples, algorithms, visualizations etc
Stars: ✭ 84 (-60%)
M2The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Stars: ✭ 200 (-4.76%)
FplllLattice algorithms using floating-point arithmetic
Stars: ✭ 188 (-10.48%)
NashpyA library for the computation of Nash equilibria in two player games
Stars: ✭ 164 (-21.9%)
Pytransform3d3D transformations for Python
Stars: ✭ 133 (-36.67%)