Optimizing compiler for React
- hacktoberfest
- million
- millionjs
- virtual-dom
Repository Index
47,133 repositories indexed
1–24 of 38 · 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.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.
- mesa
- agent-based-modeling
- agent-based-simulation
- simulation-framework
Multi-platform, free open source software for visualization and image computing.
- medical-imaging
- vtk
- itk
- python
A collection of GICP-based fast point cloud registration algorithms
- point-cloud
- pcl
- gicp
- icp
Implementation of DiffDock: Diffusion Steps, Twists, and Turns for Molecular Docking
- diffusion-models
- docking
- binding
- computational-biology
A Deep Learning Toolkit for DTI, Drug Property, PPI, DDI, Protein Function Prediction (Bioinformatics)
- drug-repurposing
- deep-learning
- drug-target-interactions
- toolkit
A coupling library and ecosystem for partitioned multi-physics and multi-scale simulations, including surface and volume coupling.
- multi-physics
- fluid-structure-interaction
- high-performance-computing
- conjugate-heat-transfer
:spider_web: Gmsh for Python
- python
- pypi
- mesh-generation
- engineering
Foundation Models for Genomics & Transcriptomics
In-memory nucleotide sequence k-mer counting, filtering, graph traversal and more
- dna
- k-mer
- python
- bloom-filter
Prov-GigaPath: A whole-slide foundation model for digital pathology from real-world data
:spider_web: Mesh optimization, mesh smoothing.
- python
- pypi
- mathematics
- physics
ACADO Toolkit is a software environment and algorithm collection for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct optimal control, including model predictive control, state and parameter estimation and robust optimization.
A Euclidean diffusion model for structure-based drug design.
- ddpm
- drug-design
- equivariance
- generative-model
A library provides spatial data and geometric algorithms
- geometry-library
- gis
- geospatial
- golang
Code for the Nature Scientific Reports paper "Pathologist-level classification of histologic patterns on resected lung adenocarcinoma slides with deep neural networks." A sliding window framework for classification of high resolution whole-slide images, often microscopy or histopathology images.
- histopathology-images
- microscopy
- sliding-windows
- medical-image-analysis
skimpy is a light weight tool that provides summary statistics about variables in data frames within the console.
- eda
- pandas
- data-science
- exploratory-data-analysis
C library for reading virtual slide images
- pathology
- whole-slide-imaging
- c
Wide-Integer implements a generic C++ template for uint128_t, uint256_t, uint512_t, uint1024_t, etc.
- high-performance
- embedded-systems
- multiprecision
- numerical
:spider_web: Simple mesh generator inspired by distmesh.
- mesh
- finite-elements
- mathematics
- mesh-generation
Genomic sequence storage, indexing and alignment inside PostgreSQL: https://bioseqdb.com/
- alignment
- bioinformatics
- biology
- database
A Python package for the identification, characterization and comparison of spatial clusters from spatial -omics data.
Simple RDKit molecule editor GUI using PySide