My notes on Analysis I and Analysis II, 3rd edition, written by Terence Tao.
Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders
Cross-platform math library with SIMD support
A powerful expression-based calculator, unit converter, and general computation engine for Android
Julia IEEE decimal floating-point via the Intel decimal-float library
A library providing math and statistics operations for numbers of arbitrary size.
Arbitrary-precision fixed-point decimal numbers in go. Similar and compatible with shopspring's decimal.Decimal, but optimized for Alpaca's data sets.
A tiny toolkit for heavy computations using Web Workers
A complete, proof-of-concept, C# implementation of the General Number Field Sieve algorithm for factoring very large semi-prime numbers. The focus was...
This is a comprehensive collection of mathematics resources designed to support self-study from high school to graduate-level topics.
泛函分析讲义(许全华)习题参考答案
Procedural generation toolkit for Javascript - noises, randomness, curves, and more
A cross-platform geometry sketchpad and implicit function plotting tool, made by .NET Avalonia
这里是sonder的有点又没有太多用的笔记本 “一个人只有不停的写作,才不会被人海淹没” 你可以通过这个链接来访问网页版:https://space.keter.host
Reverse-mode automatic differentiation in Rust (experiment)
A C++17 Compile Time <cmath> Library
React component wrapper for Mathquill
Shader-Like Mathematical Expression JIT Engine for C++ Language
Math
A collection of labs and homework assignments related to physics, calculus, and linear algebra. The labs offer hands-on experiments and demonstrations...
Generative Art Synthesizer - a python program that generates python programs that generates generative art
Simple computer algebra system
xFunc provides a powerful parser and analyzer for mathematical expressions. It excels at calculating derivatives, simplifying expressions, and achievi...
Evaluates a math expression from a string. Supports variables and custom operators.
QuantumSheet - A user friendly mathematics worksheet and solver
Render math formulas in 2D in your terminal!
A formalization of the textbook Elements of Set Theory
An editor for the Numbas e-learning system.
Fast complex polynomial root finder, with support for arbitrary precision calculations
A REPL calculator and an x86 asm emulator for developers
Bounce is a 3D physics engine for games.
A small .NET math library.
Internationalization and localization in Typescript with Unicode CLDR, batteries included
京都大学数学系の院試の問題と解答です
TeX comments rendering inside Visual Studio.
OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement...
LaTeX commands to write mathematical expressions
A journal of theorems, lemmas and problems for Mathematical Olympiads.
Scientific computing and data tools ( Node.js )
Julia implementation for the BFloat16 number type
In this work, we investigate the compositionality of large language models (LLMs) in mathematical reasoning. Specifically, we construct a new dataset...
这是一门介绍入门计算机图形学的线性代数几何知识的教程。
Calculator App built with Flutter
Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and decimal, posits,...
A programmatic replication of the Yarrow Stalk Method of I-Ching Divination
This repository contains a lot of my Math writings (home works, study materials, guides and proofs) which I wrote during my Bachelor of Informatics.
一个开放结构化的公共知识库
C# math expression library with symbolic computation support
Nabla TypeMath is an android application that allow you to easily type mathematical symbols.