Module for statistical learning, with a particular emphasis on time-dependent modelling
- machine-learning
- python
- point-process
- optimization
Repository Index
59,621 visible repositories in the index
25–48 of 51 · Most stars
Simulate Functional Mock-up Units (FMUs) in Python
- fmi
- python
- fmi-standard
Main yt repository
- data
- visualization
- analysis
- python
A unit handling library for ruby
- ruby
- unit-math
- conversions
- temperature-units
Encapsulate measurements and their units in Ruby and Ruby on Rails.
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.
- cae
- cfd
- computational-mechanics
- explicit-dynamics
The official implementation of 3D Equivariant Diffusion for Target-Aware Molecule Generation and Affinity Prediction (ICLR 2023)
- ai-for-science
- diffusion-models
- drug-design
- equivariant-networks
The universe in numbers. Free, open-source calculators for everything countable.
GraphDTA: Predicting drug-target binding affinity with graph neural networks
Source code for "DeepDTA: deep drug-target binding affinity prediction"
- protein-ligand-interactions
- convolutional-neural-networks
Schema and generated objects for biolink data model and upper ontology
- biolink
- monarchinitiative
- gene-ontology
- datamodel
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
:spider_web: Simple mesh generator inspired by distmesh.
- mesh
- finite-elements
- mathematics
- mesh-generation
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
A Lean formalization of the Classification of Finite Simple Groups
OFF, Open source Finite volume Fluid dynamics code
- fluid-dynamics
- fortran
- oop
- cfd
Type-safe dependency injection singleton wrapper with lazy init and generic constructor support
- activator
- dependency-injection
- instantiation
- lazy-loading
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
The repository host gives no description.
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.
ODE system solver made simple. For IVPs (initial value problems).
- runge-kutta-fehlberg
- runge-kutta
- simulation
- ode-solver