Popular repositories Loading

1. amoonworker.github.io amoonworker.github.io Public

2. UWrMaxSat UWrMaxSat Public

   Forked from marekpiotrow/UWrMaxSat

   UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main tracks (weighted and unweighted). In MaxSAT Evaluation 2020 …

   C++

3. unigen unigen Public

   Forked from meelgroup/unigen

   UniGen approximately uniform sampler

   C++

4. AIX360 AIX360 Public

   Forked from Trusted-AI/AIX360

   Interpretability and explainability of data and machine learning models

   Python

5. llama.cpp llama.cpp Public

   Forked from ggerganov/llama.cpp

   Port of Facebook's LLaMA model in C/C++

   C

6. stanford_alpaca stanford_alpaca Public

   Forked from tatsu-lab/stanford_alpaca

   Code and documentation to train Stanford's Alpaca models, and generate the data.

   Python