Pinned Repositories
Proyecto_1_-_Neo_Arte_Chilensis
Proyecto realizado en el segundo semestre del 2020
Proyecto_3_-_Bot_Mortiferum
Proyecto realizado en el segundo semestre del 2021
TorToiSe
Esta es una sencilla guía para usar el modelo TorToiSe para TTS
CNF_OBDD
dDBCSFi2
Code of "Shap Scores for Neural Network Classifiers: Black-Box vs. Open-Box Circuit Compilation"
gcn
Implementation of Graph Convolutional Networks in TensorFlow
nnf2sdd
NNF compiler based on PySDD
raspberry-pi-os
Learning operating system development using Linux kernel and Raspberry Pi
riss
Riss SAT Solver
Jorvan758's Repositories
Jorvan758/CNF_OBDD
Jorvan758/dDBCSFi2
Code of "Shap Scores for Neural Network Classifiers: Black-Box vs. Open-Box Circuit Compilation"
Jorvan758/gcn
Implementation of Graph Convolutional Networks in TensorFlow
Jorvan758/nnf2sdd
NNF compiler based on PySDD
Jorvan758/raspberry-pi-os
Learning operating system development using Linux kernel and Raspberry Pi
Jorvan758/riss
Riss SAT Solver
Jorvan758/xv6-public
xv6 OS