This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
Repository Index
47,133 repositories indexed
49–72 of 183 · Most stars
2D/3D geometry toolkit for Clojure/Clojurescript
- geometry
- visualization
- mesh-generation
- opengl
:christmas_tree:Visualization and annotation of phylogenetic trees
- r
- visualization
- phylogenetic-trees
- annotations
Unknown Horizons Godot Engine Port
- simulation
- strategy
- game-development
- godot
:four_leaf_clover: Evolutionary optimization library for Go (genetic algorithm, partical swarm optimization, differential evolution)
QuadriFlow: A Scalable and Robust Method for Quadrangulation
- quadriflow
- quad
- remeshing
- quadrangulation
OpenMDAO repository.
- nasa
- open-source
- framework
- openmdao
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Official implementation for HyenaDNA, a long-range genomic foundation model built with Hyena
- foundation-models
- genomics
- language-models
MySQL Spatial Data Extension integration with Laravel.
A PyTorch and TorchDrug based deep learning library for drug pair scoring. (KDD 2022)
- deep-learning
- pytorch
- deep-chemistry
- graph-neural-network
Throw in the towel.
- dotnet
- towel
- csharp
- library
A Go package for engineering organisms.
- synthetic-biology
- synbio
- genetic-engineering
- molecular-biology
C++ library and cmdline tools for parsing and manipulating VCF files with python and zig bindings
- variant-calling
- genomics
- vcf-manipulation
- genotyping
Interactive network visualization in Python and Dash, powered by Cytoscape.js
- plotly-dash
- plotly
- dash
- cytoscape
A Free and Open Source Python Library for Multiobjective Optimization
- optimization
- multiobjective
- evolutionary
- algorithm
Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support
- embedded-optimization
- nonconvex
- model-predictive-control
- rust-library
The Point Processing Toolkit (pptk) is a Python package for visualizing and processing 2-d/3-d point clouds.
- pointclouds
- 3-d
- visualization
- lidar
:spider_web: Mesh optimization, mesh smoothing.
- python
- pypi
- mathematics
- physics
Module for statistical learning, with a particular emphasis on time-dependent modelling
- machine-learning
- python
- point-process
- optimization
Spatial Single Cell Analysis in Python
- single-cell-rna-seq
- single-cell-genomics
- spatial-transcriptomics
- spatial-analysis
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 comprehensive gradient-free optimization framework written in Python
- metaheuristics
- optimization
- optimization-algorithms
- python
Main yt repository
- data
- visualization
- analysis
- python