Pinned Repositories
ariadneExample
An example of ariadne utilization.
FrankaGrasp
Grasp algorithms on Franka robot
GeometricNeuralNetwork
A Neural Network with linear algebra objects
hornetsnest
High-Performance Streaming Graph Analytics on GPUs
my-themes
KDE plasma themes
SATIVA
SAT solver using CDCL procedure and watched literals, VSIDS herustics.
turingarenaExamples
A set of examples for turing arena framework
NicolaDes's Repositories
NicolaDes/ariadneExample
An example of ariadne utilization.
NicolaDes/FrankaGrasp
Grasp algorithms on Franka robot
NicolaDes/GeometricNeuralNetwork
A Neural Network with linear algebra objects
NicolaDes/hornetsnest
High-Performance Streaming Graph Analytics on GPUs
NicolaDes/my-themes
KDE plasma themes
NicolaDes/SATIVA
SAT solver using CDCL procedure and watched literals, VSIDS herustics.
NicolaDes/turingarenaExamples
A set of examples for turing arena framework