99EnriqueD

Pinned Repositories

verilog_autocompletion
Code implementation for "A Deep Learning Framework for Verilog Autocompletion Towards Design and Verification Automation" which is to be presented at DAC 2023.
Language:Jupyter Notebook71
Battleship-Cpp-OOP
Battleship game written in C++ using object-oriented programming. To be played in the terminal.
Language:C++10
ED_JC_CapSelecta_DPL
A neural-symbolic capita selecta project of two fashion applications powered by DeepProbLog.
Language:Python10
Bachelor-Thesis-Audio-Recognition
The majority of my contributions to my team's bachelor thesis project. My contribution focused on the audio recognition model of our sensor hub. The full project can be found on gitlab (https://gitlab.com/p-o-entrepreneurship-groep-b/raspberry-pi/user-programs).
Language:Python00
final-gala-simulator
IoTeach simulator for the PIP final gala. Includes a 'tutorial' that helps navigate through the simulator.
Language:TypeScript01
final-gala-tutorial
Tutorial for PIP team RVO Society's final gala booth.
Language:TypeScript00
lama
🦙 LaMa Image Inpainting, Resolution-robust Large Mask Inpainting with Fourier Convolutions, WACV 2022
Language:Jupyter Notebook00
receiver-tutorial
Tutorial for programming the receiving/teacher micro:bit for the IoT health game created by theRVO PiP team.
Language:TypeScript00
sender-tutorial
Micro:bit tutorial for the student/sender micro:bits in the RVO PiP IoT health game!
Language:TypeScript00

99EnriqueD's Repositories

99EnriqueD/verilog_autocompletion
Code implementation for "A Deep Learning Framework for Verilog Autocompletion Towards Design and Verification Automation" which is to be presented at DAC 2023.
Language:Jupyter Notebook71
99EnriqueD/lama
🦙 LaMa Image Inpainting, Resolution-robust Large Mask Inpainting with Fourier Convolutions, WACV 2022
99EnriqueD/receiver-tutorial
Tutorial for programming the receiving/teacher micro:bit for the IoT health game created by theRVO PiP team.
Language:TypeScript
99EnriqueD/sender-tutorial
Micro:bit tutorial for the student/sender micro:bits in the RVO PiP IoT health game!
Language:TypeScript
99EnriqueD/final-gala-simulator
IoTeach simulator for the PIP final gala. Includes a 'tutorial' that helps navigate through the simulator.
Language:TypeScript1
99EnriqueD/final-gala-tutorial
Tutorial for PIP team RVO Society's final gala booth.
Language:TypeScript
99EnriqueD/ED_JC_CapSelecta_DPL
A neural-symbolic capita selecta project of two fashion applications powered by DeepProbLog.
Language:Python1
99EnriqueD/Bachelor-Thesis-Audio-Recognition
The majority of my contributions to my team's bachelor thesis project. My contribution focused on the audio recognition model of our sensor hub. The full project can be found on gitlab (https://gitlab.com/p-o-entrepreneurship-groep-b/raspberry-pi/user-programs).
Language:Python
99EnriqueD/Battleship-Cpp-OOP
Battleship game written in C++ using object-oriented programming. To be played in the terminal.
Language:C++1