Michael Färber

nameMichael Färber
Crates.io:01mf02
GitHub user:01mf02
name repo

Crates

name update at owner repo count CI fmt
jaq 2025-12-23 16:26:14.548433+00 Michael Färber repo 1687 GitHub Action fmt
jaq-all 2025-12-23 16:26:11.449782+00 Michael Färber repo 1687 GitHub Action fmt
jaq-fmts 2025-12-23 16:26:09.516772+00 Michael Färber repo 1687 GitHub Action fmt
jaq-json 2025-12-23 16:26:06.864784+00 Michael Färber repo 1687 GitHub Action fmt
jaq-std 2025-12-23 16:26:05.114042+00 Michael Färber repo 1687 GitHub Action fmt
jaq-core 2025-12-23 16:26:00.993645+00 Michael Färber repo 1687 GitHub Action fmt
hifijson 2025-12-16 13:06:32.579709+00 Michael Färber repo 89 GitHub Action fmt
regex-bites 2025-10-21 12:49:07.486269+00 Michael Färber repo 1558 GitHub Action fmt
codesnake 2024-08-07 14:17:30.359291+00 Michael Färber repo 40 GitHub Action fmt
jaq-parse 2024-07-30 10:06:48.354023+00 Michael Färber repo 1687 GitHub Action fmt
jaq-syn 2024-07-30 09:10:32.102266+00 Michael Färber repo 1687 GitHub Action fmt
jaq-interpret 2024-06-26 10:19:35.646236+00 Michael Färber repo 1687 GitHub Action fmt
lazy-st 2024-03-13 18:13:49.336757+00 Michael Färber repo 15 GitHub Action fmt
parcours 2024-03-11 10:42:09.234161+00 Michael Färber repo 109 GitHub Action fmt
kocheck 2024-01-08 17:14:33.104856+00 Michael Färber repo 794 GitHub Action fmt
meancop 2023-09-26 11:11:56.997811+00 Michael Färber repo 403 GitHub Action fmt
cop 2023-09-26 11:11:31.603098+00 Michael Färber repo 403 GitHub Action fmt
kontroli 2022-06-09 15:59:38.68104+00 Michael Färber repo 794 GitHub Action fmt
dedukti-parse 2022-06-09 15:57:08.626425+00 Michael Färber repo 794 GitHub Action fmt
nested-modules 2021-06-18 09:18:28.96557+00 Michael Färber repo NA NA fmt