euclid.js2D Euclidean geometry classes, utilities, and drawing tools
Stars: ✭ 69 (+38%)
Math ClassesA library of abstract interfaces for mathematical structures in Coq [[email protected]]
Stars: ✭ 133 (+166%)
PenroseCreate beautiful diagrams just by typing mathematical notation in plain text.
Stars: ✭ 4,984 (+9868%)
cafe🧊 Презентації та Воркшопи
Stars: ✭ 20 (-60%)
SeagullA Python Library for Conway's Game of Life
Stars: ✭ 130 (+160%)
typyA fragmentary bidirectional type system as a Python library
Stars: ✭ 51 (+2%)
GraphonlineThis is source code of graphonline service. Graphonline helps visualize graph and applies a lot of algorithms.
Stars: ✭ 127 (+154%)
math eval✖️➕➖➗ `math_eval` safely evaluates mathematical expressions
Stars: ✭ 33 (-34%)
EchoPython package containing all custom layers used in Neural Networks (Compatible with PyTorch, TensorFlow and MegEngine)
Stars: ✭ 126 (+152%)
Math books📚 Математичный список полезных книг
Stars: ✭ 38 (-24%)
maths-for-deep-learning-aiA open source book covering the foundational maths of deep learning and machine learning using TensorFlow
Stars: ✭ 35 (-30%)
Cadabra2A field-theory motivated approach to computer algebra.
Stars: ✭ 112 (+124%)
SageMirror of the Sage source tree -- please do not submit PRs here -- everything must be submitted via https://trac.sagemath.org/
Stars: ✭ 1,656 (+3212%)
csmath-2021This mathematics course is taught for the first year Ph.D. students of computer science and related areas @zju
Stars: ✭ 30 (-40%)
RootThe official repository for ROOT: analyzing, storing and visualizing big data, scientifically
Stars: ✭ 1,377 (+2654%)
NcalcPower calculator for Android. Solve some problem algebra and calculus.
Stars: ✭ 512 (+924%)
JavascriptA repository for All algorithms implemented in Javascript (for educational purposes only)
Stars: ✭ 16,117 (+32134%)
maelstromNumerical simulation of magnetohydrodynamics.
Stars: ✭ 28 (-44%)
D3graphtheory💥 Interactive and colorful 🎨 graph theory tutorials made using d3.js ⚡️
Stars: ✭ 1,364 (+2628%)
Funmath☔️ Implementations of mathematical functions, formulas and concepts
Stars: ✭ 93 (+86%)
pacopy📐 Numerical parameter continuation in Python.
Stars: ✭ 33 (-34%)
Csmath 2020This mathematics course is taught for the first year Ph.D. students of computer science and related areas @ZJU
Stars: ✭ 85 (+70%)
CCollection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.
Stars: ✭ 11,897 (+23694%)
Hott IntroAn introductory course to Homotopy Type Theory
Stars: ✭ 277 (+454%)
Fermat.jsMathematics and statistics library for TypeScript.
Stars: ✭ 74 (+48%)
ai-math-roadmapYour no-nonsense guide to the Math used in Artificial Intelligence
Stars: ✭ 173 (+246%)
MathworldvrMath world in WebVR, powered by A-frame.
Stars: ✭ 73 (+46%)
CindyjsA JavaScript framework for interactive (mathematical) content.
Stars: ✭ 495 (+890%)
IgraphLibrary for the analysis of networks
Stars: ✭ 1,145 (+2190%)
types-vs-testsTab vs spaces, vim vs emacs, types vs tests, our community is full of these conflicts. In this talk, we'll explore the latter: what is the impact of types in our programs? Can types help write more efficient tests? If so, how?
Stars: ✭ 17 (-66%)
KormaMathematics library focused on geometry for Multiplatform Kotlin 1.3
Stars: ✭ 65 (+30%)
Data Structures AlgorithmsMy implementation of 85+ popular data structures and algorithms and interview questions in Python 3 and C++
Stars: ✭ 273 (+446%)
String CalcPHP calculator library for mathematical terms (expressions) passed as strings
Stars: ✭ 60 (+20%)
muparserxA C++ Library for Parsing Expressions with Strings, Complex Numbers, Vectors, Matrices and more.
Stars: ✭ 102 (+104%)
Algebra LatexParse and calculate latex formatted math
Stars: ✭ 20 (-60%)
RemoteDataKAlgebraic data type (ADT) to represent the state of data that is loading from/to remote sources/destinations
Stars: ✭ 44 (-12%)
MishOfficial Repsoitory for "Mish: A Self Regularized Non-Monotonic Neural Activation Function" [BMVC 2020]
Stars: ✭ 1,072 (+2044%)
My NoteBookサイエンス、テクノロジー、エンジニアリング関連の情報を記載したノート(忘備録)です。
Stars: ✭ 104 (+108%)
GrapheneA thin layer of graphic data types
Stars: ✭ 268 (+436%)
FastevalFast and safe evaluation of algebraic expressions
Stars: ✭ 177 (+254%)
machine-learning-notebooks🤖 An authorial collection of fundamental python recipes on Machine Learning and Artificial Intelligence.
Stars: ✭ 63 (+26%)
IotaFast [co]product types with a clean syntax. For Cats & Scalaz.
Stars: ✭ 175 (+250%)
QuadpyNumerical integration (quadrature, cubature) in Python
Stars: ✭ 471 (+842%)
AgdaAgda formalisation of the Introduction to Homotopy Type Theory
Stars: ✭ 50 (+0%)
SwiftmathCross-platform math library with SIMD support
Stars: ✭ 30 (-40%)
AnalysissummaryVorlesung Analysis für Informatiker WS16/17 an der TUM
Stars: ✭ 10 (-80%)
UnimathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Stars: ✭ 680 (+1260%)
Learn Something Every Day📝 A compilation of everything that I learn; Computer Science, Software Development, Engineering, Math, and Coding in General. Read the rendered results here ->
Stars: ✭ 362 (+624%)
bigintegerA PHP library to work with big integers.
Stars: ✭ 19 (-62%)
cplotFunction plotter
Stars: ✭ 27 (-46%)