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
Repository Index
79,841 visible repositories in the index
1–24 of 242 · Most stars
Mesh optimization library that makes meshes smaller and faster to render
- gpu
- mesh-processing
- optimization
- compression
AI Toolkit for Healthcare Imaging
- healthcare-imaging
- deep-learning
- medical-image-computing
- medical-image-processing
An arbitrary-precision Decimal type for JavaScript
- javascript
- bignumber
- arbitrary-precision
- significant-digits
A Python based monitoring and tracking tool for Plex Media Server.
- plex
- plexpy
- python
- monitoring
A Python-embedded modeling language for convex optimization problems.
- python
- cvxpy
- optimization
- modeling-language
✨ The fundamental numerical library for JavaScript and TypeScript. ✨ ⭐️ Star to support our work!
- javascript
- stdlib
- nodejs
- library
An open-source, GPU-accelerated physics simulation engine built upon NVIDIA Warp, specifically targeting roboticists and simulation researchers.
- physics-simulation
- robotics
- nvidia-warp
- newton-physics
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.
- proof-assistant
- coq
- theorem-proving
- dependent-types
A hardware-agnostic SDK for optimization problems: define a problem once, then lower it to any quantum or classical solver
- constraint-programming
- quantum-computing
- quadratic-programming
Desktop app for managing BibTeX and BibLaTeX (.bib) libraries
- jabref
- bibtex
- java
- latex
A large scale non-linear optimization library
- c-plus-plus
- numerical-optimization
- nonlinear-optimization-algorithms
- nonlinear-programming
Segment Anything in Medical Images
OHIF zero-footprint DICOM viewer and oncology specific Lesion Tracker, plus shared extension packages
- nci-itcr
- nci-qin
- quantitative-imaging
- imaging-informatics
Fast and efficient CSS optimizer for node.js and the Web
- css
- minification
- optimization
- css-optimizations
🚀1K tiny & fast lib for doing addition, subtraction, multiplication and division operations precisely
- floating-point
- number-converter
- rounding-error
Biomni: a general-purpose biomedical AI agent
C++ implementation of the Python Numpy library
- python
- numpy
- c-plus-plus
- numerical-analysis
A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives
- robotics
- dynamics
- analytical-derivatives
- kinematics
Breeze is/was a numerical processing library for Scala.
This repository includes the official project of TransUNet, presented in our paper: TransUNet: Transformers Make Strong Encoders for Medical Image Segmentation.
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
Tool for robust segmentation of >100 important anatomical structures in CT and MR images