Victor Taelin

nameVictor TaelinGitHub

Crates

name update at owner repo count CI fmt
hvm-core 2023-12-31 01:47:00.954477 Victor Taelin NA NA NA fmt
hvm 2023-10-16 19:45:57.750907 Victor Taelin repo 869 GitHub Action 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