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.
-
Updated
Feb 4, 2020 - JavaScript
#
drat
Here are 18 public repositories matching this topic...
A (parametrized) Rust SAT solver originally based on MiniSat
-
Updated
May 28, 2024 - Rust
the cloudyr project website
-
Updated
Feb 23, 2024 - CSS
drat repository for nightly builds of ropensci packages and common dependencies
-
Updated
Jan 16, 2019 - R
Verifies SAT solver output. Uses drat-trim proof checker for UNSAT instances.
-
Updated
May 25, 2020 - C
css python html django django-rest-framework scheduled-tasks celery hackernews-api interview-test drat
-
Updated
Aug 31, 2022 - Python
drat2er: Proof Transformer for Propositional Logic
-
Updated
Dec 28, 2021 - C++
A Cross-platform (Andorid / IOS) Group Chat App with Firebase
-
Updated
Mar 5, 2022 - Dart
A repository with R packages created and maintained by INBO
-
Updated
Jun 7, 2018
Improve this page
Add a description, image, and links to the drat topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the drat topic, visit your repo's landing page and select "manage topics."