Victor Taelin

nameVictor Taelin
Crates.io:VictorTaelin
GitHub user:VictorTaelin
name repo

Crates

name update at owner repo count CI fmt
hvm 2024-06-04 23:27:23.119482 Victor Taelin NA NA NA fmt
hvm-core 2024-05-21 15:31:26.600884 Nicolas Abril NA NA NA fmt
TSPL 2024-05-15 19:29:25.267467 Victor Taelin repo 25 NA fmt
hvm1 2024-02-22 19:12:08.081082 Victor Taelin repo NA NA fmt
interaction-calculus 2023-05-19 18:14:50.079394 Victor Taelin repo 47 NA fmt
kind2 2023-05-11 11:58:57.560218 Sofia Rodrigues repo 613 GitHub Action fmt
HOPA 2023-02-04 20:48:54.201224 Victor Taelin repo NA NA fmt
HOLP 2023-02-04 16:30:32.858727 Victor Taelin repo NA NA fmt
highlight_error 2022-07-14 19:06:58.067486 Victor Taelin repo 5 NA fmt
formality 2018-12-07 16:41:43.543236 Victor Taelin NA NA NA fmt
symmetric-interaction-calculus 2018-10-23 18:48:37.964599 Victor Taelin repo 47 NA fmt
abstract-calculus 2018-09-18 18:45:55.772751 Victor Taelin repo 3 NA fmt
absal 2018-05-15 18:27:57.214006 Victor Taelin NA NA NA fmt