55,640 visible repositories in the index
1–24 of 314 · Most stars
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...
Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows, macOS and Haiku. With Stellarium, you really see what you can see with your eyes, binoculars or a small telescope.
Theano was a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. It is being continued as PyTensor: www.github.com/pymc-devs/pytensor
Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go
AI Toolkit for Healthcare Imaging
Mesh optimization library that makes meshes smaller and faster to render
weather app for the terminal
The repository host gives no description.
TranslatedA knowledge graph for mathematics (primary school to high school), English (grade 3 to high school), and junior high school physics: 1,644 knowledge points, 2,403 prerequisite edges, and 6,723 questions, aligned with the curriculum standards, with an adaptive prerequisite diagnostic.
An arbitrary-precision Decimal type for JavaScript
🔩 Like builtins, but boltons. 250+ constructs, recipes, and snippets which extend (and rely on nothing but) the Python standard library. Nothing like Michael Bolton.
Free Weather Forecast API for non-commercial use
A Python based monitoring and tracking tool for Plex Media Server.
a project to visualize global weather conditions
A Python-embedded modeling language for convex optimization problems.
A Cloud Native Batch System (Project under CNCF)
✨ The fundamental numerical library for JavaScript and TypeScript. ✨ ⭐️ Star to support our work!
An open-source, GPU-accelerated physics simulation engine built upon NVIDIA Warp, specifically targeting roboticists and simulation researchers.
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 hardware-agnostic SDK for optimization problems: define a problem once, then lower it to any quantum or classical solver
An open source quadruped robot pet framework for developing Boston Dynamics-style four-legged robots that are perfect for STEM, coding & robotics education, IoT robotics applications, AI-enhanced robotics application services, research, and DIY robotics kit development.
The open-source AI research workbench for scientific research and agent workflows. Local-first, model-agnostic desktop app with extensible skills, MCP tools and connectors, Python/R execution and traceable artifacts for reproducible research on macOS, Windows and Linux.
A PyTorch Library for Accelerating 3D Deep Learning Research
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.