Optimizing compiler for React
- hacktoberfest
- million
- millionjs
- virtual-dom
Repository Index
47,133 repositories indexed
1–24 of 140 · Most stars
Open3D: A Modern Library for 3D Data Processing
- mesh-processing
- computer-graphics
- opengl
- cpp
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 PyTorch Library for Accelerating 3D Deep Learning Research
- pytorch
- 3d-deep-learning
- neural-networks
- differentiable-rendering
Official repository for the Boltz biomolecular interaction models
- binding-prediction
- drug-discovery
- protein-structure
C++ implementation of the Python Numpy library
- python
- numpy
- c-plus-plus
- numerical-analysis
Trainable, memory-efficient, and GPU-friendly PyTorch reproduction of AlphaFold 2
- pytorch
- protein-structure
- alphafold2
High-performance C++ library for multiphysics and multibody dynamics simulations
NSGA2, NSGA3, R-NSGA3, MOEAD, Genetic Algorithms (GA), Differential Evolution (DE), CMAES, PSO
- optimization
- multi-objective-optimization
- nsga2
- nsga3
BLAS-like Library Instantiation Software Framework
- blis
- blas
- blas-libraries
- linear-algebra
Message Passing Neural Networks for Molecule Property Prediction
- machine-learning
- chemistry
- neural-networks
- drug-discovery
Interactive Go Interview Platform - 30+ coding challenges with instant feedback, AI interview simulation, competitive leaderboards, and automated testing. From beginner to advanced levels with real-world scenarios.
- go-interview-questions
- golang
- golang-interview-questions
- hacktoberfest
Powerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra
Open-source, end-to-end platform for evaluating, observing, and improving LLM and AI agent applications. Tracing · Evals · Simulations · Datasets · Gateway · Guardrails. Self-hostable. Apache 2.0.
- ai-gateway
- observability
- simulation
- ai-agents
An open-source platform for Visual AI.
- artificial-intelligence
- computer-vision
- visual-ai
- interaction
A basic user tool to execute simple docker containers in batch or interactive systems without root privileges.
- docker
- containers
- batch
- user
Machine Learning in R
- machine-learning
- data-science
- tuning
- cran
Cartopy - a cartographic python library with matplotlib support
- cartopy
- matplotlib
- python
- geometry
MLBox is a powerful Automated Machine Learning python library.
- machine-learning
- auto-ml
- kaggle
- deep-learning
Curated decibans of Julia programming language.
Kratos Multiphysics (A.K.A Kratos) is a framework for building parallel multi-disciplinary simulation software. Modularity, extensibility and HPC are the main objectives. Kratos has BSD license and is written in C++ with extensive Python interface.
- kratos
- fem
- dem
- parallel-computing
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
A Deep Learning Toolkit for DTI, Drug Property, PPI, DDI, Protein Function Prediction (Bioinformatics)
- drug-repurposing
- deep-learning
- drug-target-interactions
- toolkit
The tool to avoid various issues due to inconsistencies and inefficiencies between a database schema and application models.