An effort to consolidate the needs and plans of individuals and organizations using Common Lisp to meet their numerical and scientific computing needs.
Repository Index
47,133 repositories indexed
241–264 of 270 · Most stars
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
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).
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
mrQA: tools for quality assurance in medical imaging datasets, including protocol compliance
- qa
- mri
- neuroimaging
- niqc
UV-first benchmark for protein-ligand docking with reproducible annotation, pocket similarity, and HPC workflows.
- benchmark
- bioinformatics
- cheminformatics
- computational-chemistry
scPair: Boosting single cell multimodal analysis by leveraging single cell atlases and implicit feature selection
Simple, reliable .NET libraries covering numbers, geometry and data structures
- collections
- geometry
- numerics
- csharp
A simple ffi-accelerated vector library for everyone with support for z-axis
Node-RED nodes for The Weather Company and Weather Underground Personal Weather Station APIs
vala and scientific numerical computation
C++ modules for scalar, vector and complex math. And maths.
- cpp20
- math
- mathematics
- vectors
a fairly simple solar system simulator
DetecDiv provides a comprehensive set of tools to analyze time microscopy images using deep learning methods. The software structure is such that data can be processed either at the command line or using a graphical user-interface. Detecdiv classification models include : image classification and regression, semantic segmentation, LSTM networks to analyze data and image timeseries.
Winner of the Golem Gitcoin Hackathon 2020 (https://blog.golemproject.net/meet-the-winners-golem-gitcoin-hackathon-2020/). This app lets people design, simulate, and analyse antenna arrays without the need to utilize commercial and expensive applications.
- golem
A tiny easy math include addition multiplication subtraction division.
- math
- math-library
- mathematics
- true-math
Elixir library implementing rational numbers and math.
Simple webapp for generating small ligand conformers
- computational-biology
- computational-chemistry
- conformer-generation
- rdkit
Mars Polar Lander Simulation
Elixir library implementing complex numbers and math.
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
This is a class module in beta state to implement computations with large integers and reals/rationals numbers, while proposing representation of numerical values as scientific notation, allowing to obtain several cohorts for the same number (a lot of fun!).
- arithmetic
- biginteger
- biginteger-library
- fractional