An ordinary differential equation solving library in golang.
- ode
- solving-library
- multivariate
- differential-equations
Repository Index
47,133 repositories indexed
601–624 of 687 · Most stars
The repository host gives no description.
Data logistics system enabling real-time pathogen surveillance. Built for the Seattle Flu Study.
- postgres
- postgresql
- python
- infectious-disease
Ring solver for Idris
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
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
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).
Julia interface to quarto-cli
Bresenham's line algorithm written in Lua.
- bresenham
- lua
mrQA: tools for quality assurance in medical imaging datasets, including protocol compliance
- qa
- mri
- neuroimaging
- niqc
Quartz - A Crystal Modeling & Simulation framework
- quartz
- simulation
- modeling
- pdevs
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
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