drat

There are 0 repository 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.

  drat
  Language:JavaScript 31

• c-cube / batsat

  A (parametrized) Rust SAT solver originally based on MiniSat

  rustsat-solverproof-generatingdratminisatsat-solver-bindings
  Language:Rust 31

• cloudyr / cloudyr.github.io

  the cloudyr project website

  awsazurecloud-computingcloudyrdratgoogle-cloudrr-package
  Language:CSS 29

• ropensci / drat

  drat repository for nightly builds of ropensci packages and common dependencies

  drat
  Language:R 4

• carpentries / drat

  :package: :package: :package: Carpentries R Packages

  dratrepositoryr-language
  Language:HTML 2

• benjaminkiesl / drat2er

  drat2er: Proof Transformer for Propositional Logic

  dratdrat2erextended-resolutionproofssatsat-solver
  Language:C++ 1

• Jay-davisphem / hackernews-tasks

  celerycssdjangodjango-rest-frameworkdrathackernews-apihtmlinterview-testpythonscheduled-tasks
  Language:Python 1

• karanjeets / drat-ontosoft

  DRAT on OntoSoft code repositories

  analysisauditingdratlicensesmapreducesoftware
  Language:R 1

• mikemahoney218 / upload-to-drat-repo

  Automatic CD by pushing packages to drat repos

  rr-cranr-packagedratciactionsgithub-actionscd
  1

• prateekkumarweb / sat-verifier

  Verifies SAT solver output. Uses drat-trim proof checker for UNSAT instances.

  satunsatsat-verifierdratsatisfiability
  Language:C 1

• thospfuller / drat

  A drat repository for R Package releases including the R COBOL Data Integration (rcoboldi) and R Bitcoincharts.com API packages (rbitcoinchartsapi).

  crancran-rdockerdratrr-packager-packagesrockerrpackagerpackagesrstatsrstudio
  Language:HTML 1

• folkehelseinstituttet / drat_old

  This drat repo is deprecated.

  dratr

• imanuelcostigan / drat

  My personal R package repository (drat)

  rdrat

• inbo / drat

  A repository with R packages created and maintained by INBO

  rpackagesggplot2-themesggplot2rmarkdown-templatesbookdownimputationdrat

• paulstaab / drat

  Beta Versions of my R Packages

  dratrstats

• priyanshumaurya8868 / flash_chat

  A Cross-platform (Andorid / IOS) Group Chat App with Firebase

  dratfirebasefirebase-authfirestoreflutterheroanimation
  Language:Dart