Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

1,129–1,152 of 1,341 · Most stars

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

  • coq
  • randomized-algorithms
  • probability
  • monad

A modern, Pythonic ORM for TypeDB with an Attribute-based API that aligns with TypeDB's type system.

  • orm
  • typedb
  • typeql
  • pydantic

Automates semantic release versioning and best practices for elixir packages.

  • hex
  • release-automation
  • semantic-versioning
  • package-maintenance

Measuring synchronisation timing accuracy for DVB Compainion Screen Synchronisation TVs and Companions

  • hbbtv2
  • dvbcss
  • dvb-protocols
  • dvb-css