Popular repositories

1. SATIVA Public

   SAT solver using CDCL procedure and watched literals, VSIDS herustics.

   C++

2. ariadneExample Public

   An example of ariadne utilization.

   C++ 1

3. FrankaGrasp Public

   Grasp algorithms on Franka robot

   Shell

4. hornetsnest Public

   Forked from hornet-gt/hornetsnest

   High-Performance Streaming Graph Analytics on GPUs

   Cuda

5. turingarenaExamples Public

   A set of examples for turing arena framework

   Python

6. GeometricNeuralNetwork Public

   A Neural Network with linear algebra objects

   C++