drat
Here are 18 public repositories matching this topic...
A repository with R packages created and maintained by INBO
-
Updated
Jun 7, 2018
drat repository for nightly builds of ropensci packages and common dependencies
-
Updated
Jan 16, 2019 - R
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
Verifies SAT solver output. Uses drat-trim proof checker for UNSAT instances.
-
Updated
May 25, 2020 - C
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
-
Updated
Aug 31, 2022 - Python
the cloudyr project website
-
Updated
Feb 23, 2024 - CSS
A (parametrized) Rust SAT solver originally based on MiniSat
-
Updated
May 28, 2024 - Rust
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."