Pinned Loading

1. FormalFIFO FormalFIFO Public

   FIFO design - Formal verification with SymbiYosys & Functional verification with cocotb

   SystemVerilog

2. huyenemma/micro-machine huyenemma/micro-machine Public

   C++ 2

3. Racers-Performance-Recorder Racers-Performance-Recorder Public

   Data management system for a racing event

   C

4. Customer-Churn-Prediction Customer-Churn-Prediction Public

   Predict likelihood of customer churn using Logistic Regression and Decision Tree Classifier

   Jupyter Notebook