Popular repositories

1. Natural-Deduction-proof-to-Sequent-System-proof Natural-Deduction-proof-to-Sequent-System-proof Public

   PHIL-4140 INTERMEDIATE LOGIC Project

   Python

2. HASSPathways HASSPathways Public

   Forked from anderm18/HASSPathways

   An interactive web application that allows students to navigate through their selected HASS integrated pathway courses

   Vue

3. sudoku sudoku Public

   simple solution for sudoku

   Python

4. transformers transformers Public

   Forked from huggingface/transformers

   🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

   Python

5. CodeGeeX CodeGeeX Public

   Forked from THUDM/CodeGeeX

   CodeGeeX: An Open Multilingual Code Generation Model

   Python

6. Python Python Public

   Forked from TheAlgorithms/Python

   All Algorithms implemented in Python

   Python