71,372 visible repositories in the index
1–12 of 12 · Most stars
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.
A PyTorch Library for Accelerating 3D Deep Learning Research
PositionBasedDynamics is a library for the physically-based simulation of rigid bodies, deformable solids and fluids.
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical functions
Immutable in-memory R-tree and R*-tree implementations in Java with reactive api
Interactive network visualization in Python and Dash, powered by Cytoscape.js
Interactive 2D wave optics simulator. Turn any image into a refractive scene, add sources, watch waves refract, diffract and interfere. Probes, intensity maps, video export.
a unified framework for modeling chemically reactive systems
Peax is a tool for interactive visual pattern search and exploration in epigenomic data based on unsupervised representation learning with autoencoders
Tool for precise, interactive, fast and scalable FISH spot detection
💬 Trace citation chains for any concept across research papers and render them as an interactive graph.
Translated🗺️ Research Data Map — AI-driven global research visualization platform | Research Data Map with 250M+ papers