Sign in

Repository Index

61,275 visible repositories in the index

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

49–72 of 158 · Most stars

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.

Wallet UI simulation tool for BTC, ETH, SOL, XRP, and 200+ assets. Customize displayed balances in a controlled demo environment with persistent visual settings and screenshot-ready previews. Designed for testing, demonstrations, and UI prototyping without altering actual blockchain balances or transactions.

  • bitcoin-transaction-tool
  • browser-crypto-wallet
  • crypto-broadcast-api
  • electrum-payment

C++ library for solving large sparse linear systems with algebraic multigrid method

  • amg
  • c-plus-plus
  • sparse-linear-systems
  • opencl

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

Generation of protein sequences and evolutionary alignments via discrete diffusion models

  • discrete-diffusion
  • generative-model
  • multiple-sequence-alignment
  • protein-sequences

Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support

  • embedded-optimization
  • nonconvex
  • model-predictive-control
  • rust-library

A Swift micro library for generating Sunrise and Sunset times on device, requiring no network access.

  • swift
  • sunrise
  • sunset
  • ios

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.