47,133 repositories indexed
1–5 of 5 · 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
Interactive network visualization in Python and Dash, powered by Cytoscape.js
💬 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