562 Open source projects that are alternatives of or similar to Set-Theory

XITS - OpenType implementation of STIX fonts with math support

Mathematical expression parsing and calculation engine library. 数学表达式解析计算引擎库

The Math Algorithm

A collection of some of the neat math and physics tricks that I've collected over the last few years.

DWSIM - Open Source Chemical Process Simulator (5.x series)

A python package for Abel and inverse Abel transforms

📄 The math behind the neural network used for Olivia

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.

Aardvark is an open-source platform for visual computing, real-time graphics and visualization. This repository is the basis for most platform libraries and provides basic functionality such as data-structures, math and much more.

A community database of topological counterexamples

Study E-Book(ComputerVision DeepLearning MachineLearning Math NLP Python ReinforcementLearning)

A Ruby-based expression parser, evaluator, and programming language

Random data generation in Swift

Convert Haskell source code to Coq source code.

FCC China open source codebase and curriculum. Learn to code and help nonprofits.

Fixed point math with 48.16 precision (based on lib by https://github.com/fholm)

My study plan for going from junior to senior software developer

A Julia module providing the definition of the circle constant Tau (2π)

A non date-based time calculator

Rust bindings to @sipa's minisketch library

A python package to solve robot arm inverse kinematics in symbolic form

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

☔️ Implementations of mathematical functions, formulas and concepts

Public code developed during my MSc study at University of Bologna

means completeness and balancing, from the Arabic word الجبر

Shader-math in haxe: library for GLSL vector operations, complete with swizzles and all

A collection of code examples as well as presentations for training purposes

Finite sets, finite maps, multisets and generic sets

Math pastebin with LaTeX and Markdown support

Implementation of Conway's Surreal Numbers

One- and multi-dimensional adaptive integration routines for the Julia language

Computational algebraic number theory

A simple API to get the length of a CGPath, UIBezierPath or NSBezierPath, written in Swift.

Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)

Create, manipulate and convert representations of position and orientation in 2D or 3D using Python

Just an advanced terminal calculator.

Open book about math and computer science.

Mathematical expression parser and evaluator

Lightweight and modular math toolbox

Bringing (more) Combinatorics to Ruby.

VISual MAth - an equation solver and visualizer

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]

Linear algebra library with vector swizzling, intersection tests and useful functions for games and graphics dev.

A complete, proof-of-concept, C# implementation of the General Number Field Sieve algorithm for factoring very large semi-prime numbers. The focus was on readability and understandability of the code, not performance.

Seq2Tree model for Solving Math Word Problems

java math expression parser is faster than JEP

Parsing and evaluating mathematical formulas given as strings.

Literature for the self-taught AI practitioner! 📚

Swift Custom Operators for Mathematical Notation

Java class that represents a fraction as a ratio of two BigIntegers, reduced to lowest terms.

Yet another what-you-see-is-what-you-get equation editor

👷 🔧 zero dependencies vanilla JavaScript utils.

AI-related tutorials. Access any of them for free → https://towardsai.net/editorial

Fourier and Images

Library that add functionality of all maths sections that don't exist in dart:math

Webpage offering a wide range of online tools

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

No description or website provided.

A real-time interactive progressive path tracer on the GPU.

Create, manipulate and convert representations of position and orientation in 2D or 3D using Python