Popular repositories Loading

1. dpll-sat-solver dpll-sat-solver Public

   Forked from DeekshithShetty/dpll-sat-solver

   A SAT solver for propositional logic following the DPLL architecture

   Python

2. sensor-diagnosis-tool sensor-diagnosis-tool Public

3. CLAM CLAM Public

   Forked from mahmoodlab/CLAM

   Data-efficient and weakly supervised computational pathology on whole slide images - Nature Biomedical Engineering

   Python

4. nmi-wsi-diagnosis nmi-wsi-diagnosis Public

   Forked from zizhaozhang/nmi-wsi-diagnosis

   Pathologist-level interpretable whole-slide cancer diagnosis with deep learning

   Python

5. mangofiles mangofiles Public

   🌟 Build a fast and flexible Wayland compositor with Mangofiles for a lightweight, powerful desktop experience featuring smooth animations and efficient resource use.

6. avinash737.github.io avinash737.github.io Public

   🌟 Optimize your desktop experience with Mangofiles, a fast Wayland compositor featuring tag-based management and smooth animations.