مستودعات الرياضيات والذكاء الاصطناعي مفتوحة المصدر

TypeScript NOASSERTION

sagemathinc/cocalc

مستودع cocalc مفتوح المصدر في مجال الرياضيات. يقدم أدوات أو مكتبات أو أمثلة عملية يمكن استخدامها في التعلم والبحث والتطوير. يجمع هذا الإدخال معلومات حديثة عن نش…

عرض المستودع 1288 230

Rocq Prover NOASSERTION

UniMath/UniMath

مستودع UniMath مفتوح المصدر في مجال الطرق الصورية. يقدم أدوات أو مكتبات أو أمثلة عملية يمكن استخدامها في التعلم والبحث والتطوير. يجمع هذا الإدخال معلومات حديثة …

عرض المستودع 1014 187

C++ NOASSERTION

mariuszgromada/MathParser.org-mXparser

مستودع MathParser.org-mXparser مفتوح المصدر في مجال الطرق الصورية. يقدم أدوات أو مكتبات أو أمثلة عملية يمكن استخدامها في التعلم والبحث والتطوير. يجمع هذا الإدخا…

عرض المستودع 953 157

Python NOASSERTION

Axelrod-Python/Axelrod

مستودع Axelrod مفتوح المصدر في مجال الرياضيات. يقدم أدوات أو مكتبات أو أمثلة عملية يمكن استخدامها في التعلم والبحث والتطوير. يجمع هذا الإدخال معلومات حديثة عن ن…

عرض المستودع 838 288

C GPL-3.0

jarun/bcal

مستودع bcal مفتوح المصدر في مجال الرياضيات. يقدم أدوات أو مكتبات أو أمثلة عملية يمكن استخدامها في التعلم والبحث والتطوير. يجمع هذا الإدخال معلومات حديثة عن نشاط…

عرض المستودع 697 40

C++ BSD-2-Clause

beltoforion/muparser

مستودع muparser مفتوح المصدر في مجال الرياضيات. يقدم أدوات أو مكتبات أو أمثلة عملية يمكن استخدامها في التعلم والبحث والتطوير. يجمع هذا الإدخال معلومات حديثة عن …

عرض المستودع 526 141

HTML Unlicense

akalenuk/wordsandbuttons

مستودع wordsandbuttons مفتوح المصدر في مجال التعليم. يقدم أدوات أو مكتبات أو أمثلة عملية يمكن استخدامها في التعلم والبحث والتطوير. يجمع هذا الإدخال معلومات حديث…

عرض المستودع 502 17

Mojo Apache-2.0

Mojo-Numerics-and-Algorithms-group/NuMojo

مستودع NuMojo مفتوح المصدر في مجال الحوسبة العلمية. يقدم أدوات أو مكتبات أو أمثلة عملية يمكن استخدامها في التعلم والبحث والتطوير. يجمع هذا الإدخال معلومات حديثة…

عرض المستودع 222 25

Markdown Unlicense

pelmesh619/itmo_conspects

مستودع itmo_conspects مفتوح المصدر في مجال التعليم. يقدم أدوات أو مكتبات أو أمثلة عملية يمكن استخدامها في التعلم والبحث والتطوير. يجمع هذا الإدخال معلومات حديثة…

عرض المستودع 189 13

Python Apache-2.0

frenzymath/Archon

مستودع Archon مفتوح المصدر في مجال الطرق الصورية. يقدم أدوات أو مكتبات أو أمثلة عملية يمكن استخدامها في التعلم والبحث والتطوير. يجمع هذا الإدخال معلومات حديثة ع…

عرض المستودع 180 33

Rocq Prover MIT

rocq-community/math-classes

مستودع math-classes مفتوح المصدر في مجال تعلم الآلة. يقدم أدوات أو مكتبات أو أمثلة عملية يمكن استخدامها في التعلم والبحث والتطوير. يجمع هذا الإدخال معلومات حديث…

عرض المستودع 168 42

C# Apache-2.0

MrUnbelievable92/MaxMath

مستودع MaxMath مفتوح المصدر في مجال الرياضيات. يقدم أدوات أو مكتبات أو أمثلة عملية يمكن استخدامها في التعلم والبحث والتطوير. يجمع هذا الإدخال معلومات حديثة عن ن…

عرض المستودع 162 14