401.uwdb / Cosette
Cosette is an automated SQL solver.
Ranked by Attention Score: stars gained over the last 180 complete days
401–500 of 526 by Attention Score · May 9, 2026 – Nov 4, 2026 (UTC)
Cosette is an automated SQL solver.
:spider_web: Mesh optimization, mesh smoothing.
The repository host gives no description.
Deep Reinforcement Learning for de-novo Drug Design
Mol2vec - an unsupervised machine learning approach to learn vector representations of molecular substructures
Automated 3D cell detection in very large images
Allocators, I/O streams, math, geometry, image and audio processing for D
A script to run structural alerts using the RDKit and ChEMBL
[Deprecated] Use Cornerstone3D Instead https://cornerstonejs.org/
Immutable in-memory R-tree and R*-tree implementations in Java with reactive api
A Swift micro library for generating Sunrise and Sunset times on device, requiring no network access.
Q# libraries for the Quantum Development Kit
U-Net Brain Tumor Segmentation
pyMOR - Model Order Reduction with Python
Go package for calculating the sunrise and sunset times for a given location
PhyloNetworks: a julia package with utilities for phylogenetic networks
OpenBioLink is a resource and evaluation framework for evaluating link prediction models on heterogeneous biomedical graph data.
code to run sei and obtain sei and sequence class predictions
Research experiments exploring uncommon quant techniques.
The framework for quantification of neuronal anatomy
C# math expression library with symbolic computation support
Java Scientific Computing Library - Signal Processing, FFT, Filters, PSD, DCT, SciPy-like APIs for JVM & Android used in Machine Learning and Data Science.
The Point Processing Toolkit (pptk) is a Python package for visualizing and processing 2-d/3-d point clouds.
Advanced date, time and interval library for Java with sun/moon-astronomy and calendars like Chinese, Coptic, Ethiopian, French Republican, Hebrew, Hijri, Historic Christian, Indian National, Japanese, Julian, Korean, Minguo, Persian, Thai, Vietnamese
Iterative Linear Quadratic Regulator with auto-differentiatiable dynamics models
Descriptor computation(chemistry) and (optional) storage for machine learning
Voronoi / Delaunay tessellations on the sphere
Multiresolution Adaptive Numerical Environment for Scientific Simulation
A general library for geometry operations of union, intersections, difference, and xor
A Network Integration Approach for Drug-Target Interaction Prediction
TransformerCPI: Improving compound–protein interaction prediction by sequence-based deep learning with self-attention mechanism and label reversal experiments(BIOINFORMATICS 2020) https://doi.org/10.1093/bioinformatics/btaa524
Automated 3D brain registration with support for multiple species and atlases.
⚡ Open-source software for deep learning-based digital pathology
Adaptive Graph Attention Auto-encoder for Spatial Domain Identification of Spatial Transcriptomics
Deep learning model for single-cell inference of multi-omic profiles from a single input modality.
The repository host gives no description.
DiffSharp: Differentiable Functional Programming
Encapsulate measurements and their units in Ruby and Ruby on Rails.
Neural networks toolbox focused on medical image analysis
Image restoration for fluorescence microscopy
TriWild: Robust Triangulation with Curve Constraints
A formalization of geometry in Coq based on Tarski's axiom system
Axon/Myelin segmentation using Deep Learning
Learning cell communication from spatial graphs of cells
A platform independent tensor library with autograd for the JVM
An open-source mathematical tire modelling library
The d-SEAMS C++ core engine
A production-ready Go SDK for TRON: gRPC client with connection pooling, HD wallets, TRC-10/TRC-20, event decoding, transaction simulation, and shielded TRC-20 (Sapling) support. 85% test coverage.
:triangular_ruler: Numerical integration (quadrature, cubature) in Python
Flutter weather application with beautiful UI and UX.
Math.NET Symbolics
Solve automatic numerical differentiation problems in one or more variables.
formally verified category theory library
Matrix Algebra proGrams In Common Lisp.
Azure friendly DICOMweb part 18 .NET server with qido-rs, wado-rs, stow-rs, wado-uri RESTful implementation
AI-based pathology predicts origins for cancers of unknown primary - Nature
Python package for calculating reference/potential evapotranspiration (ETo).
Sparse matrix formats for linear algebra supporting scientific and machine learning applications
LLM for Drug Editing, ICLR 2024
The source code for the Menge crowd simulation framework
The Mines Java Toolkit
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Machine learning for Analysis of Proteomics in Spatial biology - Nature Communications
Tool for precise, interactive, fast and scalable FISH spot detection
A powerful library extending VBA with over 100 functions for math, stats, finance, and data manipulation. It supports matrix operations, and user-defined functions, enhancing automation and analysis within Microsoft Office and LibreOffice environments for data management, financial calculations, an more.
A weather server supporting Campbell Scientific and Davis Instruments stations with lots of data-sharing options
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.
Translated🗺️ Research Data Map — AI-driven global research visualization platform | Research Data Map with 250M+ papers
Astronomical FITS image analysis tool for detecting asteroids, comets, satellites, moving objects, and transients in astrophotography data.
A fast Fortran formatter, written in Rust
Vendor-agnostic, FHIR-Genomics-aligned API contract for cross-vendor NGS interpretation. JSON Schema + TypeScript + Python pydantic.
A pure JavaScript medical research image viewer.
A generic interface for the environmental perception of automated driving functions in virtual scenarios.
Bayesian Optimization using GPflow
Associated Repository for "Translation between Molecules and Natural Language"
:triangular_ruler: Orthogonal polynomials in all shapes and sizes.
Open-source software for exploring and analyzing large, high-dimensional image-derived data.
An extensible .NET genetic algorithm library for optimization and artificial intelligence - Evolutionary computation and complex problem solving made simple
Graph Theory [maintainers=@chdoc,@damien-pous]
Multigrate: multiomic data integration for single-cell genomics
CancerFoundation: A single-cell RNA sequencing foundation model to decipher drug resistance in cancer
Some useful additons for makepkg for archlinux