Ring solver for Idris
Repository Index
47,133 repositories indexed
673–696 of 768 · Most stars
Computer Algebra for microcontrollers using https://github.com/micropython/micropython
Ruby client for interacting with the NASA (POWER) Agroclimatology Web Resource
- solar-radiation
- nasa
- agriculture
- ruby
Workbench for practical machine learning in Ruby.
- machine-learning
- machine-learning-algorithms
- neural-network
- neural-networks
Translatedfractional api base on golang . golang math tools fractional molecular denominator fraction calculation numerator denominator operations
- fractional
- molecular
- denominator
- operation
Lisp Linear Algebra
- common-lisp
- linear-algebra
Satellite prediction library for crystal using the sgp4 model
- sgp4
- crystal
- satellite
- satellite-prediction
An effort to consolidate the needs and plans of individuals and organizations using Common Lisp to meet their numerical and scientific computing needs.
Crystal implementation of "K-Dimensional Tree" and "N-Nearest Neighbors"
- crystal
- k-dimensional
- data-structures
- tree-structure
The repository host gives no description.
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
Quantum randomness source using the ANU hardware QRNG
- random-number-generators
- quantum-mechanics
chemmodlab: A Cheminformatics Modeling Laboratory for Fitting and Assessing Machine Learning Models
Official implementation of JAMIE, Joint variational Autoencoders for Multimodal Imputation and Embedding
- autoencoder
- imputation
- integration
- multimodal
A collection of general utility and mathematical functions for GameMaker Studio 2 (Version 2.3).
A matrix library for the MicroPython language
Bresenham's line algorithm written in Lua.
- bresenham
- lua
Quartz - A Crystal Modeling & Simulation framework
- quartz
- simulation
- modeling
- pdevs
Minimization algorithms on pure Ruby
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
Realtime Weather and Earthquake alerts in Neovim
Ruby library for calculating reference crop evapotranspiration (ETo)
- agriculture
- evapotranspiration
- ruby
Hand-ported (near 1:1) V version of https://github.com/mapbox/earcut
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library