Sign in

Repository Index

47,133 repositories indexed

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–24 of 96 · Most stars

Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go

  • sloccount
  • cloc
  • complexity
  • tokei

Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

Apache KIE (Knowledge Is Everything) is the home of Drools, OptaPlanner, jBPM, and Kogito.

  • rule-engine
  • java
  • dmn
  • hacktoberfest

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.

A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives

  • robotics
  • dynamics
  • analytical-derivatives
  • kinematics

Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equations (SDEs), delay differential equations (DDEs), differential-algebraic equations (DAEs), and more in Julia.

  • differential-equations
  • differentialequations
  • julia
  • ode

SIMD-accelerated distances, dot products, matrix ops, geospatial & geometric kernels for 16 numeric types — from 6-bit floats to 64-bit complex — across x86, Arm, RISC-V, and WASM, with bindings for Python, Rust, C, C++, Swift, JS, and Go 📐

Open Babel is a chemical toolbox designed to speak the many languages of chemical data.

  • chemistry
  • chemical-data
  • cheminformatics
  • c-plus-plus

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.

A lean C++ library for working with point cloud data

  • point-cloud
  • icp
  • ransac
  • convex-hull

⚡High Performance DICOM Medical Image Parser in Go.

  • dicom
  • dicom-images
  • golang
  • golang-library

Polygonal Surface Reconstruction from Point Clouds (C++ & Python)

  • surface-reconstruction
  • urban-modeling
  • urban-reconstruction
  • primitive-extraction

DNABERT: pre-trained Bidirectional Encoder Representations from Transformers model for DNA-language in genome

  • kmer
  • dnabert-model
  • kmer-format
  • gpu

Tasks Assessing Protein Embeddings (TAPE), a set of five biologically relevant semi-supervised learning tasks spread across different domains of protein biology.

  • deep-learning
  • protein-sequences
  • protein-structure
  • semi-supervised-learning