• Stars
    star
    3
  • Rank 3,871,284 (Top 78 %)
  • Language
    C++
  • License
    GNU General Publi...
  • Created almost 3 years ago
  • Updated 21 days ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Set Based Graph Library

More Repositories

1

QuickFuzz

An experimental grammar fuzzer in Haskell using QuickCheck
Haskell
194
star
2

VDiscover

A tool to predict vulnerability discovery of binary only programs
Python
182
star
3

neural-fuzzer

Python
91
star
4

nosy-newt

Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton
Python
60
star
5

dense-sptam

Dense S-PTAM
C++
60
star
6

splitting_gan

Code for Class-Splitting Generative Adversarial Networks
Python
32
star
7

slam_agricultural_evaluation

Shell
31
star
8

gnss-stereo-inertial-fusion

C++
26
star
9

qss-solver

Modeling and simulation tool for continuous and hybrid systems.
C
25
star
10

OS-fuzzing

Using Machine Learning to predict the outcome of a zzuf fuzzing campaign
Python
24
star
11

object-detection-sptam

Online Object Detection and Localization on Stereo Visual SLAM System
Jupyter Notebook
23
star
12

exploiting-gan-internal-capacity

Code for reproducing experiments in "Exploiting GAN Internal Capacity for High-Quality Reconstruction of Natural Images"
Python
16
star
13

dataset-processing

Tools to process the Weed removing robot dataset
Python
14
star
14

wganvo

WGANVO: Monocular Visual Odometry based on WGAN
Python
9
star
15

megadeth

MEga DErivation with Template Haskell
Haskell
8
star
16

modelicacc

Modelica C Compiler implemented in C++ to develop and test novel algorithms for large scale models.
C++
8
star
17

distributed-sptam

Distributed S-PTAM
C++
8
star
18

spp_estimation

Seed-per-pod estimation for plant breeding using deep learning
Python
5
star
19

ghc-cm

Prototype GHC with Class Morphisms
Haskell
4
star
20

power-devs

PowerDEVS is an integrated tool for hybrid systems modeling and simulation based on the DEVS formalism.
C++
4
star
21

curso-herramientas

Curso de Herramientas de Machine Learning para el Polo Tecnológico
Python
4
star
22

vdiscover-workshop

Python
2
star
23

basalt-with-persistent-map

C++
2
star
24

svo-2.0

C++
2
star
25

ORB_SLAM3

C++
1
star
26

okvis_ros

C++
1
star
27

grotloc

Ground Truth for Loop Closure (GroTLoC)
Python
1
star
28

weed_robot_simulation

Dockerfile
1
star
29

bug-report-scripts

Python
1
star
30

basalt_ros

Shell
1
star
31

rovio

C++
1
star
32

certificate

Haskell
1
star
33

rebvo

MATLAB
1
star
34

r-vio

C++
1
star
35

FLVIS

C++
1
star
36

msckf_vio

C++
1
star
37

Kimera-VIO-ROS

C++
1
star
38

VINS-Fusion

C++
1
star