Popular repositories Loading

1. hello-world hello-world Public

   My first git repository, course MNXB01

2. patchwork patchwork Public

   Forked from jlord/patchwork

   All the Git-it Workshop completers!

   HTML

3. MNXB01-2018 MNXB01-2018 Public

   Forked from floridop/MNXB01-2018

   GIT repository for the Programming Course MNXB01-2018

   HTML

4. MNXB01-project MNXB01-project Public

   C++ 1

5. the-BPM-detector-python the-BPM-detector-python Public

   Forked from scaperot/the-BPM-detector-python

   BPM detection for audio files (currently just .wav). Takes in the whole file, and prints out the BPM.

   Python

6. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml