Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
Repository Index
47,133 repositories indexed
241–264 of 287 · Most stars
GoStats is a go library for math statistics mostly used in ML domains, it covers most of the statistical measures functions.
- golang
- go
- machine-learning
- stats
Computer Algebra for microcontrollers using https://github.com/micropython/micropython
Translatedfractional api base on golang . golang math tools fractional molecular denominator fraction calculation numerator denominator operations
- fractional
- molecular
- denominator
- operation
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
A collection of general utility and mathematical functions for GameMaker Studio 2 (Version 2.3).
Clamp a number
proof script associated to tutorial material
A robust & optimized ES3-compatible polyfill for the `Array.of` method in ECMAScript 6.
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
Games math library for D
- dlang
- math
- nogc
Simple, reliable .NET libraries covering numbers, geometry and data structures
- collections
- geometry
- numerics
- csharp
⚡ An Augmented Reality real-world length measuring web application built by the modification of the example being provided by babylonjs - concept of using WebXR HitTarget feature.
- augmented-reality
- webxr
- babylonjs
An Elixir library for parsing and evaluating mathematical expressions
Bindings to special math functions from the Cephes library.
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
Object-Based mathematical operations in VBA
A simple ffi-accelerated vector library for everyone with support for z-axis
C++ modules for scalar, vector and complex math. And maths.
- cpp20
- math
- mathematics
- vectors
JVM runtime execution analysis - finds hot code paths by frequency, not CPU time
- asm
- bytecode
- code-coverage
- java
A library to parse and evalate math expression with functions and variables.
A Go project to explore the math to calculate and present data in a map using the `Web Mercator Projection`
- openstreetmap
- google-mercator-projection
- geospatial
- geolocation
A robust & optimized ES3-compatible polyfill for the `RegExp.prototype.match` method in ECMAScript 6.