A Coq library for Homotopy Type Theory
- type-theory
- homotopy-type-theory
- univalent-foundations
Repository Index
60,121 visible repositories in the index
73–96 of 325 · Most stars
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
GeneticSharp is a fast, extensible, multi-platform and multithreading C# Genetic Algorithm library that simplifies the development of applications using Genetic Algorithms (GAs).
- genetic-algorithms
- artificial-intelligence
- c-sharp
- dotnet
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
ANSI C library for NURBS, B-Splines, and Bézier curves with interfaces for C++, C#, D, Go, Java, Javascript, Lua, Octave, PHP, Python, R, and Ruby.
- nurbs
- b-splines
- bezier-curves
- splines
ProtTrans is providing state of the art pretrained language models for proteins. ProtTrans was trained on thousands of GPUs from Summit and hundreds of Google TPUs using Transformers Models.
Brian is a free, open source simulator for spiking neural networks.
- python
- neuroscience
- science
- differential-equations
📈 Multidimensional arrays for JavaScript
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical functions
- adaptive-learning
- machine-learning
- python
- live-plots
TorchXRayVision: A library of chest X-ray datasets and models. Classifiers, segmentation, and autoencoders.
- medical-imaging
- medical-ai
- deep-learning
- machine-learning
A Deep Learning Toolkit for DTI, Drug Property, PPI, DDI, Protein Function Prediction (Bioinformatics)
- drug-repurposing
- deep-learning
- drug-target-interactions
- toolkit
Fast NumPy array functions written in C
- c
- python
- numpy
- fast
Immutable in-memory R-tree and R*-tree implementations in Java with reactive api
A lean C++ library for working with point cloud data
- point-cloud
- icp
- ransac
- convex-hull
Fast Clojure Matrix Library
Scientific workflow engine designed for simplicity & scalability. Trivially transition between one off use cases to massive scale production environments
a lean linear math library, aimed at graphics programming. Supports vec3, vec4, mat4x4 and quaternions
ADAM is a genomics analysis platform with specialized file formats built using Apache Avro, Apache Spark, and Apache Parquet. Apache 2 licensed.
Geometry, simplified.
- swift
- geometry
- trigonometry
- coregraphics
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
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
:christmas_tree:Visualization and annotation of phylogenetic trees
- r
- visualization
- phylogenetic-trees
- annotations