Beast code in Giters

Jorge León's repositories

Language:C++000

Code of "Shap Scores for Neural Network Classifiers: Black-Box vs. Open-Box Circuit Compilation"

Language:Jupyter Notebook010

Implementation of Graph Convolutional Networks in TensorFlow

Language:PythonMIT000

NNF compiler based on PySDD

Language:PythonApache-2.0000

Learning operating system development using Linux kernel and Raspberry Pi

Language:CMIT000

Riss SAT Solver

Language:C++LGPL-2.1000

xv6 OS

Language:CNOASSERTION000