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

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

📜 Collection of the most awesome Math learning resources in the form of notes, videos and cheatsheets.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

Jupyter kernel for Coq

implemented some computer vision problems

Essential mathematics for applied machine learning and data science

The Math of Card Shufflig

A math and collisions library for Lua.

Offline font tuning/bitmap generation via shaders

WordMat is an add-in to MicroSoft Word enabling math functionality

A math expression evaluator built with JavaScript

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

Simple Menu Bar Application For Mac

Resources to get started in Quantum Computing!

A tiny TypeScript library for 2D vector math.

算法 & 数学知识 & 重拾基础知识系列文章编写和收集

Mathlion is an advanced math plugin for Kibana's Timelion

This is a replication of "CFD Python: 12 steps to Navier-Stokes" in Julia

Pythonic package for combinatorics

React components for math visualization

A comprehensive list of 180+ YouTube Channels for Data Science, Data Engineering, Machine Learning, Deep learning, Computer Science, programming, software engineering, etc.

Program Matematika adalah sebuah repository GitHub yang berisi program yang dapat memudahkan para pelajar atau guru dalam menyelesaikan masalah Matematika dengan Terminal

一个用于Minecraft Particle的类库

Formal verification of OCaml programs

A little project for celebrating PI day

Math extension for Python-Markdown

math with more good bits

Extendable calculator for the 21st Century ⚡

Mtac in Agda

macro to change the default floating-point precision in Julia code

♊️ Mirror of http://purl.mro.name/ios/MROGeometry | √ C and Objective C math and geometry helpers

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

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

Rust bindings to @sipa's minisketch library

Finite sets, finite maps, multisets and generic sets

Just an advanced terminal calculator.

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.

👷 🔧 zero dependencies vanilla JavaScript utils.

Ltac2 tutorial

A PHP library to work with big integers.

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

vectorized high-level math library

Extends php BCMath lib for missing functions like floor, ceil, round, abs, min, max, rand for big numbers. Also wraps existing BCMath functions.

General purpose math library for robot applications.

A proof of Abel-Ruffini theorem.

Multinomials for the Mathematical Components library.

微积分学笔记，包含极限论、微分、积分、级数理论.

Create Maya node-network by entering a math-formula.

The open-source computational framework for the Swift language

Things and stuffs.

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

Math snippets with graphic programming in mind.

A modern quantitative finance framework that makes the complex simple

A JavaScript Quaternion library

Useful m-scripts for DSP (CIC, FIR, FFT, Fast convolution, Partial Filters etc.)

A Coq library providing tactics to deal with hypothesis

Render LaTeX math with Hershey Fonts

Physical quantities and units

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