Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Repository Index
47,133 repositories indexed
1–24 of 47 · Most stars
MLX: An array framework for Apple silicon
- mlx
Suite of tools for deploying and training deep learning models using the JVM. Highlights include model import for keras, tensorflow, and onnx/pytorch, a modular and tiny c++ library for running math code and a java based math library on top of the core c++ library. Also includes samediff: a pytorch/tensorflow like library for running deep learn...
- java
- gpu
- deeplearning
- neural-nets
The Z3 Theorem Prover
A feature-rich weather app with good visualizations and more than 50 sources.
weather app for the terminal
- go
- wego
- forecast
- weather
Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more
Free Weather Forecast API for non-commercial use
- weather-api
- weather
- weather-forecast
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
Astronomy and astrophysics core library
Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equations (SDEs), delay differential equations (DDEs), differential-algebraic equations (DAEs), and more in Julia.
- differential-equations
- differentialequations
- julia
- ode
Fast numerical array expression evaluator for Python, NumPy, Pandas, PyTables and more
Implementation of DiffDock: Diffusion Steps, Twists, and Turns for Molecular Docking
- diffusion-models
- docking
- binding
- computational-biology
A Python library for quantum programming using Quil.
- forest
- quil
- quantum-computing
- quantum-programming
GeneticSharp is a fast, extensible, multi-platform and multithreading C# Genetic Algorithm library that simplifies the development of applications using Genetic Algorithms (GAs).
- genetic-algorithms
- artificial-intelligence
- c-sharp
- dotnet
Notebooks for financial economics. Keywords: Jupyter notebook pandas Federal Reserve FRED Ferbus GDP CPI PCE inflation unemployment wage income debt Case-Shiller housing asset portfolio equities SPX bonds TIPS rates currency FX euro EUR USD JPY yen XAU gold Brent WTI oil Holt-Winters time-series forecasting statistics econometrics
- jupyter-notebook
- pandas
- federal-reserve
- gdp
Fellow Oak DICOM for .NET, .NET Core, Universal Windows, Android, iOS, Mono and Unity
- dicom
- netcore
- medical
- medical-imaging
Geometry, simplified.
- swift
- geometry
- trigonometry
- coregraphics
LibTomMath is a free open source portable number theoretic multiple-precision integer library written entirely in C.
- mpi
- libtommath
- c
- math
In-memory nucleotide sequence k-mer counting, filtering, graph traversal and more
- dna
- k-mer
- python
- bloom-filter
RBDL is a C++ library that contains some essential and efficient rigid body dynamics algorithms such as the Articulated Body Algorithm (ABA) for forward dynamics, Recursive Newton-Euler Algorithm (RNEA) for inverse dynamics, the Composite Rigid Body Algorithm (CRBA) for the efficient computation of the joint space inertia matrix and is also able to compute forward dynamics with external contact constraints and collision impulses. Furthermore it has some basic support for forward and inverse kinematics.
- articulated-body-algorithm
- inverse-dynamics
- forward-dynamics
- multi-body-dynamics
Advanced date, time and interval library for Java with sun/moon-astronomy and calendars like Chinese, Coptic, Ethiopian, French Republican, Hebrew, Hijri, Historic Christian, Indian National, Japanese, Julian, Korean, Minguo, Persian, Thai, Vietnamese
- java
- time4j
- calendar
- interval
Tools for computational pathology
- machine-learning
- digital-pathology
- computational-pathology
- biomedical-image-processing
A library designed to ease geographic coordinate format conversions, and determine sun/moon information in C#
- moon
- coordinates
- longitude
- latitude