Arbitrary-precision fixed-point decimal numbers in Go
- go
- decimals
- precision
- money
Repository Index
47,133 repositories indexed
1–24 of 37 · Most stars
A JavaScript library for arbitrary-precision decimal and non-decimal arithmetic
- bignumber
- javascript
- arbitrary-precision
- decimal-places
The Rocq Prover is an interactive theorem prover, or proof assistant. 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.
- proof-assistant
- coq
- theorem-proving
- dependent-types
POT : Python Optimal Transport
- optimal-transport
- numerical-optimization
- machine-learning
- emd
The fastest and smallest JavaScript polygon triangulation library for your WebGL apps
- triangulation
- tessellation
- polygon
- algorithm
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript
- optimization
- nonlinear
- derivatives
- code-generation
Arbitrary-precision arithmetic library for PHP
- php
- arbitrary-precision
- biginteger
- bigdecimal
The Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control
- optimal-control
- model-predictive-control
- ilqr
- ilqg
Validated, scalable, community developed variant calling, RNA-seq and small RNA analysis
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
A lightweight high performance tensor algebra framework for modern C++
- tensors
- tensor-contraction
- multidimensional-arrays
- simd
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support
- embedded-optimization
- nonconvex
- model-predictive-control
- rust-library
ACADO Toolkit is a software environment and algorithm collection for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct optimal control, including model predictive control, state and parameter estimation and robust optimization.
Arbitrary precision decimal arithmetic
Iterative Linear Quadratic Regulator with auto-differentiatiable dynamics models
- trajectory-optimization
- differential-dynamic-programming
- theano
- dynamics-models
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Correctly rounded decimals for Go
- decimal
- financial
- floating-point
- general-decimal-arithmetic
A formalization of geometry in Coq based on Tarski's axiom system
A high-performance, high precision, zero allocation fixed-point decimal library for financial applications
- golang
- high-performance
- zero-allocation
- money
Medical LLM agent and MRI segmentation workspace built on PharmaLLM, with LangGraph, vLLM, and BEU-Net.
LLM for Drug Editing, ICLR 2024
- chatgpt
- conversation
- drug
- drug-discovery
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs