Jip J. Dekker

nameJip J. Dekker
Crates.io:Dekker1
GitHub user:Dekker1
name repo

Crates

name update at owner repo count CI fmt
pyndakaas 2025-09-25 07:57:47.980622+00 Jip J. Dekker repo 517 GitHub Action fmt
pindakaas 2025-09-25 07:57:05.306622+00 Jip J. Dekker repo 517 GitHub Action fmt
pindakaas-kissat 2025-09-25 07:56:08.74837+00 Jip J. Dekker repo 517 GitHub Action fmt
pindakaas-intel-sat 2025-09-25 07:55:55.72779+00 Jip J. Dekker repo 517 GitHub Action fmt
pindakaas-cadical 2025-09-25 07:55:26.377677+00 Jip J. Dekker repo 517 GitHub Action fmt
xcsp3-serde 2025-09-25 07:29:33.271311+00 Jip J. Dekker repo 482 GitHub Action fmt
flatzinc-serde 2025-09-25 07:29:21.572818+00 Jip J. Dekker repo 482 GitHub Action fmt
rangelist 2025-09-25 07:29:09.494874+00 Jip J. Dekker repo 482 GitHub Action fmt
pindakaas-derive 2025-07-09 01:34:29.510289+00 Jip J. Dekker repo 517 GitHub Action fmt
huub 2023-01-19 12:05:03.500987+00 Jip J. Dekker NA NA NA fmt
shackle 2020-08-04 10:28:57.032702+00 Jip J. Dekker NA NA NA fmt