A large scale non-linear optimization library
- c-plus-plus
- numerical-optimization
- nonlinear-optimization-algorithms
- nonlinear-programming
Repository Index
65,264 visible repositories in the index
1–24 of 26 · Most stars
A curated list of the latest breakthroughs in AI (in 2021) by release date with a clear video explanation, link to a more in-depth article, and code.
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
- ai-native
- description-logics
- knowledge-graph
- mcp
Easily type math in your webapp
- javascript
- formula
- equation
- expression
Home Assistant integration to manage climate systems, TVs, fans and lights using IR/RF controllers. Compatible with Broadlink, Xiaomi, MQTT, LOOKin and ESPHome
- iot
- smarthome
- homeassistant
- broadlink
Collection of resources spanning key areas of Computer Science
automatic differentiation made easier for C++
- automatic-differentiation
- auto-differentiation
- autodiff
- autodifferentiation
Public/backup repository of the GROMACS molecular simulation toolkit. Please do not mine the metadata blindly; we use https://gitlab.com/gromacs/gromacs for code review and issue tracking.
Throw in the towel.
- dotnet
- towel
- csharp
- library
Official release of the ProGen models
- language-model
- protein
- generative-model
OmegaFold Release Code
Molecular Processing Made Easy.
- python
- molecule
- rdkit
- drug-discovery
A library designed to ease geographic coordinate format conversions, and determine sun/moon information in C#
- moon
- coordinates
- longitude
- latitude
Encapsulate measurements and their units in Ruby and Ruby on Rails.
An extension for Inkscape that makes it easier to draw optical diagrams.
- inkscape-extension
- optics-simulation
- python
- optics
Deep Reinforcement Learning for de-novo Drug Design
- deeplearning
- reinforcement-learning
- cheminformatics
- molecular-modeling
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Easy link prediction tool
- python
- network-analysis
- link-prediction
- research
:spider_web: Compute interesting points, areas, and volumes in simplex meshes of any dimension.
- mathematics
- python
- pypi
- voronoi-diagram
TranslatedAntifouling coating evidence panel: formulation sandbox, route biofouling stress, literature bounds. Simulation ≠ measurement. Live: https://simulator.jassyhong.top
- biofouling
- formulation
- antifouling
- evidence-panel
A library for placing labels in areas.
Research experiments exploring uncommon quant techniques.
- analysis
- jupyter-notebook
- python
- quant
Minerva Story is an image viewer that is designed specifically to make it easy for non-expert users to interact with complex tissue images.
- minerva
- microscopy
- ome
- immunofluorescence
Data logistics system enabling real-time pathogen surveillance. Built for the Seattle Flu Study.
- postgres
- postgresql
- python
- infectious-disease