WebAssembly wrapper to simplify fast math coding
Repository Index
47,133 repositories indexed
193–216 of 287 · Most stars
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Neovim plugin to calculate mathematical expressions within a buffer with visual mode, functions and variable support.
👩💻 Matrix and other math, accelerated by WebGPU and WASM
A robust & optimized ES3-compatible polyfill for the `String.prototype.contains` method in ECMAScript 6.
An open-source mathematical tire modelling library
A robust & optimized ES3-compatible polyfill for the `Array.from` method in ECMAScript 6.
C++ modules for plotting, graphing and data visualization
CMake module for Mathematica.
- mathematica
- cmake
- mathlink
- librarylink
A first person dungeon-crawler for DOS, written in C++, using software rendering and fixed point math
- dungeon
- sdl
- msdos
- rpg
Compile-time JSON marshaling and abstraction for Scala, Scala Native and Scala.js
- json
- scala-js
- scala-json
- scala
Vivid is a simple lua library for dealing with simple color math.
A robust & optimized `String.fromCodePoint` polyfill, based on the ECMAScript 6 specification.
C# math expression library with symbolic computation support
- csharp
- dotnet
- expression-parser
- math
Generate Javadoc from your maven/gradle project and deploy it with GitHub Page.
- java
- maven
- javadoc
- javadoc-publish
common lisp library providing common math functions used in games
Gamepad simulates an analog joystick input using the keyboard. Many times when we access key presses, what we are really doing is pretending that WASD, the arrow keys or some other combination are actually a D-pad or joystick with an X and Y axis, and 1 or 2 fire buttons. Gamepad handles the event capture, maths and other details of this for you, so you only have to think about how you want your game to respond to this input.
SIMD powered simple-math numerical operations on arrays for Common Lisp through CFFI [still experimental]
- lisp
- common-lisp
- scientific-computing
- simd
A robust & optimized `String.prototype.codePointAt` polyfill, based on the ECMAScript 6 specification.
Efficient and expressive arrayed vector math library with multi-threading and CUDA support in Common Lisp.
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
A powerful library extending VBA with over 100 functions for math, stats, finance, and data manipulation. It supports matrix operations, and user-defined functions, enhancing automation and analysis within Microsoft Office and LibreOffice environments for data management, financial calculations, an more.
- equation-systems
- mathematical-expression-parser
- mathematical-expressions-evaluator
- determinant-calculation
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree