Sign in

Repository Index

73,362 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 462 · Most stars

Official repository for the Boltz biomolecular interaction models

  • binding-prediction
  • drug-discovery
  • protein-structure

Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.

Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.

  • mesa
  • agent-based-modeling
  • agent-based-simulation
  • simulation-framework

Project the aircraft passing overhead onto your ceiling in real time, from an RTL-SDR — with a live sky layer (sun, moon, stars, ISS) and where each plane is headed.

  • ads-b
  • aircraft
  • art-installation
  • flight-tracker

This repository includes the official project of TransUNet, presented in our paper: TransUNet: Transformers Make Strong Encoders for Medical Image Segmentation.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  • tla
  • specifications
  • model-checking
  • verification

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