424 Open source projects that are alternatives of or similar to Domains

My undergradate thesis on coinductive types in univalent type theory

Mirror of the Sage source tree -- please do not submit PRs here -- everything must be submitted via https://trac.sagemath.org/

Category theory in the context of (functional) programming

A Symbolic Package for Octave using SymPy

A field-theory motivated approach to computer algebra.

An experimental computer algebra system written in Go

A C++20 library for the symbolic manipulation of sparse polynomials & co.

The Piranha computer algebra system.

Computer Algebra System for Racket

A completely browser-based e-assessment/e-learning system, with an emphasis on mathematics

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱

A Python CAS library

A fast and modern CAS for a fast and modern language.

Computer Algebra System in Javascript (Coffeescript)

Open book about math and computer science.

💥 Interactive and colorful 🎨 graph theory tutorials made using d3.js ⚡️

Lightweight and modular math toolbox

Library for the analysis of networks

Security library for Spring Web MVC: OAuth, CAS, SAML, OpenID Connect, LDAP, JWT...

☔️ Implementations of mathematical functions, formulas and concepts

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Accurate sums and dot products for Python.

CAS单点登录案例。整合了CAS OAuth2、Apache Shiro、Spring Security等

PHP calculator library for mathematical terms (expressions) passed as strings

Orthogonal polynomials in all shapes and sizes.

A collection of algorithms and data structures

Math world in WebVR, powered by A-frame.

Python wrappers for SymEngine

CAS Gradle Overlay: Generic CAS gradle war overlay to exercise the latest versions of CAS

Initiative to read research papers

Programming Exercises about Interesting Topics

Simple mesh generator inspired by distmesh.

Mathematics library focused on geometry for Multiplatform Kotlin 1.3

A list of resources in different fields of Computer Science (multiple languages)

A simple package to do symbolic math (focus on code gen and DSLs)

A simple visual editor for creating commutative diagrams.

A Python utility for analyzing a given solution to the Einstein's field equations. Built on Sympy.

Drawing graphs of point, linear function, power function, exponential function, logarithmic function, circular function, etc in a coordinate. （实现了在坐标系中画点，一次函数，幂函数，指数函数，对数函数，三角函数等）

Multi-class confusion matrix library in Python

Beautiful and accessible math in all browsers

NodeJS implement of CAS(Central Authentication Service) client.

Generate Permutations and Combinations in an efficient way.

A set of notebooks for an introduction to Python for Mathematicians.

Official Repsoitory for "Mish: A Self Regularized Non-Monotonic Neural Activation Function" [BMVC 2020]

Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.

This repository contains all the assignments and practice questions solved during the Data Structures and Algorithms course in C++ taught by the Geeks For Geeks team.

Rings: efficient JVM library for polynomial rings

Math JS library. Super advanced & efficient Math expression evaluator

This mathematics course is taught for the first year Ph.D. students of computer science and related areas @ZJU

一站式登录权限管理系统

A computer algebra system written in pure Python

📓 A growing collection of Jupyter Notebooks written in Python, OCaml and Julia for science examples, algorithms, visualizations etc

Agda formalisation of the Introduction to Homotopy Type Theory

Examples for the usage of LaTeX

The official repository for ROOT: analyzing, storing and visualizing big data, scientifically

A laravel package provides CAS server

A Prelude with names from category theory

Math, Advanced Data Structures & Algorithms - Please check before use