Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
- autodiff
- deep-learning
- machine-learning
- rust
Repository Index
47,133 repositories indexed
1–24 of 26 · Most stars
weather app for the terminal
- go
- wego
- forecast
- weather
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
Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.
- traffic
- simulation
- transport
Fast numerical array expression evaluator for Python, NumPy, Pandas, PyTables and more
Gazebo database of SDF models. This is a predecessor to https://app.gazebosim.org
- gazebo
- simulation
- robot-simulation
- robotics
Immutable in-memory R-tree and R*-tree implementations in Java with reactive api
LibTomMath is a free open source portable number theoretic multiple-precision integer library written entirely in C.
- mpi
- libtommath
- c
- math
Cosette is an automated SQL solver.
Firedrake is an automated system for the portable solution of partial differential equations using the finite element method (FEM)
🎯 A comprehensive gradient-free optimization framework written in Python
- metaheuristics
- optimization
- optimization-algorithms
- python
Universal cheminformatics toolkit, utilities and database search tools
- indigo
- bingo
- cheminformatics
- chemistry
The universe in numbers. Free, open-source calculators for everything countable.
Native R and Python sample-deletion robustness for omics: candidate certificates, minimum deletion bounds, Bioconductor model refits and donor-level pseudobulk
- bioinformatics
- exact-optimization
- metabolomics
- paired-data
ChEMBL database structure pipelines
scPerturb: A resource and a python/R tool for single-cell perturbation data
- cite-seq
- database
- perturbation
- scatac-seq
Interpretable bilinear attention network with domain adaptation improves drug-target prediction.
RTree2D is a 2D immutable R-tree for ultra-fast nearest and intersection queries in plane and spherical coordinates
- scala
- rtree
- 2d
- str
Genomic sequence storage, indexing and alignment inside PostgreSQL: https://bioseqdb.com/
- alignment
- bioinformatics
- biology
- database
Rails frontend to The Genome Institute's drug gene interaction database.
Portability Environment for Fortran poor people
- fortran
- codes-portability
- precision
A cheminformatics extension for the SQLAlchemy database toolkit.
A metaheuristic optimization framework
- optimization
- optimization-algorithms
- optimization-methods
- genetic-algorithm
Nova DSO Tracker is an open-source Flask application for astrophotographers, providing real-time tracking of deep-sky objects' altitude, observability prediction, and integration with Stellarium and SIMBAD databases.