Pinned

1. UnB-SAT/PluSAT UnB-SAT/PluSAT Public

   PluSAT, a modular SAT solver

   C 4

2. KDE/kate KDE/kate Public

   Modern text editor built on the KDE Frameworks and Qt

   C++ 650 62

3. bee-learning bee-learning Public

   A bunch of random stuff that I am studying over time. Some things are incomplete but the principle is to start to understand something. I'm starting to version this for backup: )

   Jupyter Notebook 1

4. tfx tfx Public

   Forked from tensorflow/tfx

   TFX is an end-to-end platform for deploying production ML pipelines

   Python

5. projeto-de-algoritmos/Final_SpeechRecognition projeto-de-algoritmos/Final_SpeechRecognition Public

   Aplicativo de reconhecimento de fala feito em Python utilizando técnicas de programação dinâmica.

   Python

6. Gitlab-runner docker executor with d... Gitlab-runner docker executor with dind.

   1

   concurrent = 5

   2

   check_interval = 0

   3

   4

   [session_server]

   5

     session_timeout = 1800