Mirror of Visualization Toolkit repository
Repository Index
77,852 visible repositories in the index
73–96 of 627 · Most stars
Model-rocketry aerodynamics and trajectory simulation software
- aerospace
- flight-simulator
- java
- modeling
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- tla
- specifications
- model-checking
- verification
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
A Weather app for android with multiple sources 🌦🌞☔
High-performance C++ library for multiphysics and multibody dynamics simulations
- simulation
- physics-simulation
- modeling
- robotics
Tool for robust segmentation of >100 important anatomical structures in CT and MR images
Public development project of the LAMMPS MD software package
- molecular-dynamics
- lammps
- simulation
- kokkos
An Open-Source subdivision surface library.
a terminal weather app with ascii animation
Repository for the main Dockerfile with the OpenWorm software stack and project-wide issues
- openworm
- elegans
- biology
- simulation
📽 Highly Optimized 2D / 3D Graphics Math (glm) for C
NSGA2, NSGA3, R-NSGA3, MOEAD, Genetic Algorithms (GA), Differential Evolution (DE), CMAES, PSO
- optimization
- multi-objective-optimization
- nsga2
- nsga3
Making Protein folding accessible to all!
- bioinformatics
- multiple-sequence-alignment
- protein-structure
- structure-prediction
Multi-dimensional arrays (tensors) and numerical definitions for Elixir
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
- ai-native
- description-logics
- knowledge-graph
- mcp
POT : Python Optimal Transport
- optimal-transport
- numerical-optimization
- machine-learning
- emd
A weather app that uses animation to give you an at-a-glance look at the weather.
- ios
- objective-c
- animation
- animations
Adaptive Experimentation Platform
HyperFormula is an open-source headless spreadsheet for business web apps. It comes with over 400 formulas, CRUD operations, undo-redo, clipboard support, and sorting.
- calculation-engine
- formula
- typescript
- evaluator
RBush — a high-performance JavaScript R-tree-based 2D spatial index for points and rectangles
- javascript
- r-tree
- spatial-index
- computational-geometry
C++ wrappers for SIMD intrinsics and parallelized, optimized mathematical functions (SSE, AVX, AVX512, NEON, SVE, WebAssembly, VSX, RISC-V))
- simd-intrinsics
- vectorization
- simd
- cpp
Unsupervised Learning for Image Registration
- image-registration
- image-alignment
- machine-learning
- deep-learning
10 differentiable physical simulators built with Taichi differentiable programming (DiffTaichi, ICLR 2020)
- differentiable-programming
- taichi
- simulation
- robotics