drat
There are 18 repositories under drat topic.
apache/drat
A distributed, parallelized (Map Reduce) wrapper around Apache RAT™ to allow it to complete on large code repositories of multiple file types where Apache RAT™ hangs forever.
c-cube/batsat
A (parametrized) Rust SAT solver originally based on MiniSat
cloudyr/cloudyr.github.io
the cloudyr project website
ropensci/drat
drat repository for nightly builds of ropensci packages and common dependencies
carpentries/drat
:package: :package: :package: Carpentries R Packages
benjaminkiesl/drat2er
drat2er: Proof Transformer for Propositional Logic
karanjeets/drat-ontosoft
DRAT on OntoSoft code repositories
mikemahoney218/upload-to-drat-repo
Automatic CD by pushing packages to drat repos
prateekkumarweb/sat-verifier
Verifies SAT solver output. Uses drat-trim proof checker for UNSAT instances.
thospfuller/drat
A drat repository for R Package releases including the R COBOL Data Integration (rcoboldi) and R Bitcoincharts.com API packages (rbitcoinchartsapi).
folkehelseinstituttet/drat_old
This drat repo is deprecated.
imanuelcostigan/drat
My personal R package repository (drat)
inbo/drat
A repository with R packages created and maintained by INBO
KrishnamurthyLab/drat
Krishnamurthy Lab's DRAT (CRAN-like) repository
maximaximal/SIMDIMACS
Implementation for fast DIMACS Parsing on x86 using SSE SIMD instructions and experimental AVX512
paulstaab/drat
Beta Versions of my R Packages
priyanshumaurya8868/flash_chat
A Cross-platform (Andorid / IOS) Group Chat App with Firebase