Projects in Awesome Lists tagged with drat
A curated list of projects in awesome lists tagged with drat .
https://github.com/c-cube/batsat
A (parametrized) Rust SAT solver originally based on MiniSat
drat minisat proof-generating rust sat-solver sat-solver-bindings
Last synced: 06 Apr 2025
https://github.com/cloudyr/cloudyr.github.io
the cloudyr project website
aws azure cloud-computing cloudyr drat google-cloud r r-package
Last synced: 05 May 2025
https://github.com/mikemahoney218/upload-to-drat-repo
Automatic CD by pushing packages to drat repos
actions cd ci drat github-actions r r-cran r-package
Last synced: 31 Mar 2025
https://github.com/imanuelcostigan/drat
My personal R package repository (drat)
Last synced: 07 Apr 2025
https://github.com/inbo/drat
A repository with R packages created and maintained by INBO
bookdown drat ggplot2 ggplot2-themes imputation packages r rmarkdown-templates
Last synced: 01 Mar 2025
