KotlingradShape-Safe Symbolic Differentiation with Algebraic Data Types
Stars: ✭ 388 (-51.5%)
libsemigroupsC++ library for semigroups and monoids
Stars: ✭ 34 (-95.75%)
Modelingtoolkit.jlA modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations
Stars: ✭ 540 (-32.5%)
klefkiKlefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are based on mathematical defination of abstract algebra.
Stars: ✭ 12 (-98.5%)
entNo description or website provided.
Stars: ✭ 33 (-95.87%)
Play Pac4jSecurity library for Play framework 2 in Java and Scala: OAuth, CAS, SAML, OpenID Connect, LDAP, JWT...
Stars: ✭ 375 (-53.12%)
Atosymalgebraic expressions parsing and evaluation through a property system based algorithm
Stars: ✭ 15 (-98.12%)
ASMDOPC UA Address Space Model Designer
Stars: ✭ 47 (-94.12%)
SymengineSymEngine is a fast symbolic manipulation library, written in C++
Stars: ✭ 703 (-12.12%)
Oscar.jlA comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
Stars: ✭ 182 (-77.25%)
Fp ResourcesFunctional programming great resources
Stars: ✭ 369 (-53.87%)
doitspring cloud , CAS , JHipster hybrid sample app
Stars: ✭ 14 (-98.25%)
YunaYuan企业通用后台,快速实现微后台架构
Stars: ✭ 19 (-97.62%)
unitedUnited Monoids
Stars: ✭ 25 (-96.87%)
Derive4jJava 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Stars: ✭ 511 (-36.12%)
psrcasPSR CAS, a PHP standard library for CAS authentication.
Stars: ✭ 21 (-97.37%)
nginx-auth-cas-luaCAS authentication for nginx, similar to apache mod-auth-cas
Stars: ✭ 20 (-97.5%)
articicial-inteligence-and-data-scienceEste repositorio esta basado principalmente en la carrera de machine learning y data science de platzi pero también habrán recursos de otras plataformas e instituciones educativas.
Stars: ✭ 34 (-95.75%)
Nerdamera symbolic math expression evaluator for javascript
Stars: ✭ 322 (-59.75%)
relationalEducational tool for relational algebra
Stars: ✭ 70 (-91.25%)
symengine.rbRuby wrappers for SymEngine
Stars: ✭ 26 (-96.75%)
MatryoshkaGeneralized recursion schemes and traversals for Scala.
Stars: ✭ 764 (-4.5%)
diofantA Python CAS library
Stars: ✭ 61 (-92.37%)
oxygenjsThis a JavaScript Library for the Numerical Javascript and Machine Learning
Stars: ✭ 13 (-98.37%)
undertow-pac4jSecurity library for Undertow: OAuth, CAS, SAML, OpenID Connect, LDAP, JWT...
Stars: ✭ 35 (-95.62%)
Django Cas NgDjango CAS 1.0/2.0/3.0 client authentication library, support Django 2.0, 2.1, 2.2, 3.0 and Python 3.5+
Stars: ✭ 297 (-62.87%)
BastetA ReasonML/Ocaml library for category theory and abstract algebra
Stars: ✭ 200 (-75%)
FastevalFast and safe evaluation of algebraic expressions
Stars: ✭ 177 (-77.88%)
KleinP(R*_{3, 0, 1}) specialized SIMD Geometric Algebra Library
Stars: ✭ 463 (-42.12%)
cassetteA simple content-addressable storage system for .NET 4.5 and .NET Core
Stars: ✭ 34 (-95.75%)
Cmathtutstrying to collect all useful tutorials for famous C math and linear algebra libraries such as CBLAS, CLAPACK, GSL...
Stars: ✭ 266 (-66.75%)
shib-cas-authn3Integrates an external CAS Server and Shibboleth IdPv3.
Stars: ✭ 21 (-97.37%)
Algebra.jsBuild, display, and solve algebraic equations.
Stars: ✭ 1,288 (+61%)
Q.jsQuantum computing in your browser.
Stars: ✭ 158 (-80.25%)
Hecke.jlComputational algebraic number theory
Stars: ✭ 142 (-82.25%)
SnowjenaDistributed lock-free current limiting framework based on token bucket algorithm.基于令牌桶算法实现的分布式无锁限流框架。
Stars: ✭ 628 (-21.5%)
PylopsPyLops – A Linear-Operator Library for Python
Stars: ✭ 144 (-82%)
haskell-frexNo description or website provided.
Stars: ✭ 20 (-97.5%)
OptimusOptimus is a mathematical programming library for Scala.
Stars: ✭ 119 (-85.12%)
Matherzzllrr mather(an offline tool for Math learning, education and research)小乐数学,离线可用的数学学习(自学或教学)、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版(抛转引玉),但已经支持数学公式编辑显示,部分作图功能,部分学科,如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具
Stars: ✭ 270 (-66.25%)
TypescriptAlgebraic graphs implementation in TypeScript
Stars: ✭ 107 (-86.62%)
Algebrameans completeness and balancing, from the Arabic word الجبر
Stars: ✭ 92 (-88.5%)
UnpluggedOpen book about math and computer science.
Stars: ✭ 1,189 (+48.63%)
Mu ScalaMu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2
Stars: ✭ 266 (-66.75%)
smeagol-galoreA git-based wiki featuring markdown, a WYSIWYG Editor, PlantUML, and much more
Stars: ✭ 21 (-97.37%)
Ssocas单点登录系统,其中包括cas认证服务,配置中心,监控平台,服务管理的高可用项目
Stars: ✭ 797 (-0.37%)
PhpcasApereo PHP CAS Client
Stars: ✭ 729 (-8.87%)
AlgaAlgebraic graphs
Stars: ✭ 619 (-22.62%)
Buji Pac4jpac4j security library for Shiro: OAuth, CAS, SAML, OpenID Connect, LDAP, JWT...
Stars: ✭ 444 (-44.5%)