Popular repositories Loading

1. LinuxWebServer LinuxWebServer Public

   The project is a linux web server scripting in C++ to handle multi-threaded http connections based on the implemented threadspool.

   C++

2. SpeechRecognitionSystem SpeechRecognitionSystem Public

   A speech recognition system used for writing, editing and storing text documents.

   Jupyter Notebook

3. BlueDefenderGame BlueDefenderGame Public

   Blue Defender is a great game developed by our group for Team Project module in University of Birmingham.

   Java

4. esbmc esbmc Public

   Forked from esbmc/esbmc

   The efficient SMT-based context-bounded model checker (ESBMC)

   C

5. cluster cluster Public