Sign in

Repository Index

79,841 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

457–480 of 496 · Most stars

A mono-spaced font family derived from character stroke coordinates from the Commodore 1520 plotter ROM

Kanrisuru helps you manage your remote servers with objected oriented ruby. Results come back as structured data, parsed, prepared and ready for you to easily use in your applications.

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

  • coq
  • mathcomp
  • ssreflect
  • tarjan-algorithm

Fungal Feature Tracker (FFT): A tool to quantitatively characterize morphology and growth of filamentous fungi