voile

Here are 3 public repositories matching this topic...

IntelliJ plugin for several experimental programming languages here

dependent-types cubical-type-theory intellij-plugin owo cubicaltt voile minitt mlpolyr redprl

Outil de calcul et de publication de classements pour les championnats de voile

scoring championship sailing voile championnat

Mon Journal de Bord Une application web pour enregistrer et suivre vos sessions de navigation avec un historique interactif.

journal boat sailing voile

Add a description, image, and links to the voile topic page so that developers can more easily learn about it.

To associate your repository with the voile topic, visit your repo's landing page and select "manage topics."