@CIFASIS

Top 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++
59
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

sb-graph

Set Based Graph Library
C++
3
star
23

vdiscover-workshop

Python
2
star
24

basalt-with-persistent-map

C++
2
star
25

svo-2.0

C++
2
star
26

ORB_SLAM3

C++
1
star
27

okvis_ros

C++
1
star
28

grotloc

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

bug-report-scripts

Python
1
star
30

weed_robot_simulation

Dockerfile
1
star
31

basalt_ros

Shell
1
star
32

rovio

C++
1
star
33

certificate

Haskell
1
star
34

rebvo

MATLAB
1
star
35

r-vio

C++
1
star
36

FLVIS

C++
1
star
37

msckf_vio

C++
1
star
38

Kimera-VIO-ROS

C++
1
star
39

VINS-Fusion

C++
1
star