Zero-dependency 128-bit fixed-point decimal for Go. Exact SQL NUMERIC / PostgreSQL semantics, no heap allocation, no panics — built for money, ledgers and banking arithmetic.
- decimal
- fixed-point
- go
- golang
Repository Index
47,133 repositories indexed
25–43 of 43 · Most stars
Native Haxe functions for graphical linear algebra (à la GLM: https://github.com/g-truc/glm/tree/master/glm)
A Julia GraphQL client for seamless integration with a server
An arbitrary-precision decimal floating-point arithmetic package for Go
- decimal
- arbitrary-precision
- floating-point
- go
AS3 port of hxGeomAlgo - Small collection of geometry algorithms in Haxe 3.
ChemMine Tools: open source web framework for small molecule analysis
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
🛫 Fixed-Point Decimals
- encoding
- numerics
- performance
- go
Small size matrix handling module with a few linear algebra operations specifically for MicroPython (Python3)
Pascal library for arbitrary precision BCD floating point numbers
- pascal
- arbitrary-precision
- math
- bignumber
Decimal handling as value object instead of plain strings or floats.
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Simple webapp for generating small ligand conformers
- computational-biology
- computational-chemistry
- conformer-generation
- rdkit
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
Port of godot-math to D: vectors, matrices, rectangles, points, AABBs, planes, frustums.
Accelerated similarity searching of small molecules (bioconductor package)
Formal proof in Coq of Puiseux's Theorem.
High performance, zero-allocation, low memory usage (8 bytes), low precision (17 digits), partially compatible with int64 and shopspring Decimal
a collection of small utlities useful for neuroimaging research
- utilities