Owner
CIFASIS
17 indexed repositories · View on GitHub
-
QuickFuzz
An experimental grammar fuzzer in Haskell using QuickCheck
Haskell · 196 stars
-
VDiscover
A tool to predict vulnerability discovery of binary only programs
Python · 187 stars
-
Python · 90 stars
-
gnss-stereo-inertial-fusion
GNSS-Stereo-Inertial SLAM implementation that fuses GNSS, visual and inertial measurements using a tightly-coupled approach.
C++ · 71 stars
-
dense-sptam
Dense S-PTAM
C++ · 63 stars
-
rosariov2
Scripts and Tools to work with The Rosario Dataset v2
Python · 47 stars
-
qss-solver
Modeling and simulation tool for continuous and hybrid systems.
C · 37 stars
-
OS-fuzzing
Using Machine Learning to predict the outcome of a zzuf fuzzing campaign
Python · 23 stars
-
modelicacc
Modelica C Compiler implemented in C++ to develop and test novel algorithms for large scale models.
C++ · 20 stars
-
dataset-processing
Tools to process the Weed removing robot dataset
Python · 17 stars
-
power-devs
PowerDEVS is an integrated tool for hybrid systems modeling and simulation based on the DEVS formalism.
C++ · 12 stars
-
C++ · 11 stars
-
megadeth
MEga DErivation with Template Haskell
Haskell · 8 stars
-
StereoLoopDetector
Code for the article "Addressing the challenges of loop detection in agricultural environments" published in the Journal of Field Robotic...
C++ · 6 stars
-
sb-graph
Set Based Graph Library
C++ · 5 stars
-
C++ · 2 stars
-
wavy
Github mirror of Wavy (https://bitbucket.org/robertmassaioli/wavy/)
Haskell · 0 stars
-
CIFASIS/OS-fuzzing#1 · 0 comments · 0 reactions · 0 assignees ·
-
CIFASIS/neural-fuzzer#1 · 4 comments · 0 reactions · 0 assignees ·
-
afl-count missing Open
CIFASIS/neural-fuzzer#2 · 1 comment · 0 reactions · 0 assignees ·
-
CIFASIS/neural-fuzzer#4 · 0 comments · 0 reactions · 0 assignees ·
-
CIFASIS/neural-fuzzer#5 · 0 comments · 0 reactions · 0 assignees ·
-
CIFASIS/neural-fuzzer#6 · 0 comments · 0 reactions · 0 assignees ·
-
bug
CIFASIS/megadeth#5 · 0 comments · 0 reactions · 0 assignees ·
-
CIFASIS/megadeth#6 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement help wanted
CIFASIS/VDiscover#1 · 2 comments · 0 reactions · 0 assignees ·
-
x86-64 support Openenhancement help wanted
CIFASIS/VDiscover#2 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement help wanted
CIFASIS/VDiscover#3 · 0 comments · 0 reactions · 0 assignees ·
-
Convert to pep8 Openhelp wanted
CIFASIS/VDiscover#4 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement help wanted performance question
CIFASIS/VDiscover#5 · 0 comments · 0 reactions · 0 assignees ·
-
bug enhancement
CIFASIS/VDiscover#6 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement help wanted performance
CIFASIS/VDiscover#7 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement help wanted performance question
CIFASIS/VDiscover#8 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement help wanted question
CIFASIS/VDiscover#9 · 0 comments · 0 reactions · 0 assignees ·
-
A logo is missing Openenhancement help wanted
CIFASIS/QuickFuzz#3 · 0 comments · 0 reactions · 0 assignees ·
-
AFL integration Openenhancement help wanted question
CIFASIS/QuickFuzz#6 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement help wanted
CIFASIS/QuickFuzz#7 · 0 comments · 0 reactions · 1 assignee ·
-
Smallcheck Openenhancement help wanted question
CIFASIS/QuickFuzz#18 · 0 comments · 0 reactions · 0 assignees ·
-
Mucheck Open
CIFASIS/QuickFuzz#19 · 0 comments · 0 reactions · 0 assignees ·
-
CIFASIS/QuickFuzz#20 · 2 comments · 0 reactions · 1 assignee ·
-
bug
CIFASIS/QuickFuzz#22 · 0 comments · 0 reactions · 1 assignee ·
-
CIFASIS/QuickFuzz#23 · 0 comments · 0 reactions · 0 assignees ·
-
CIFASIS/QuickFuzz#29 · 0 comments · 0 reactions · 2 assignees ·
-
enhancement help wanted question
CIFASIS/QuickFuzz#46 · 8 comments · 0 reactions · 0 assignees ·
-
CIFASIS/QuickFuzz#61 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement help wanted
CIFASIS/QuickFuzz#66 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement help wanted
CIFASIS/QuickFuzz#67 · 0 comments · 0 reactions · 0 assignees ·
-
CIFASIS/QuickFuzz#73 · 1 comment · 0 reactions · 0 assignees ·
-
CIFASIS/QuickFuzz#75 · 2 comments · 0 reactions · 0 assignees ·
-
CIFASIS/QuickFuzz#76 · 0 comments · 0 reactions · 0 assignees ·
-
Using QuickFuzz gen Open
CIFASIS/QuickFuzz#78 · 0 comments · 0 reactions · 0 assignees ·
-
CIFASIS/QuickFuzz#79 · 0 comments · 0 reactions · 0 assignees ·
-
CIFASIS/QuickFuzz#81 · 2 comments · 1 reaction · 0 assignees ·
-
Website is down Open
CIFASIS/QuickFuzz#83 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
CIFASIS/power-devs#11 · 0 comments · 0 reactions · 1 assignee ·
-
about the docker run Open
CIFASIS/dense-sptam#2 · 4 comments · 0 reactions · 0 assignees ·
-
CIFASIS/dense-sptam#3 · 26 comments · 0 reactions · 0 assignees ·
-
CIFASIS/dense-sptam#9 · 3 comments · 0 reactions · 0 assignees ·
-
CIFASIS/dataset-processing#7 · 0 comments · 0 reactions · 0 assignees ·
-
CIFASIS/basalt-xr#9 · 0 comments · 0 reactions · 0 assignees ·
-
CIFASIS/StereoLoopDetector#1 · 3 comments · 0 reactions · 0 assignees ·
-
CIFASIS/gnss-stereo-inertial-fusion#2 · 9 comments · 0 reactions · 0 assignees ·
-
CIFASIS/gnss-stereo-inertial-fusion#3 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
CIFASIS/sbg-partitioner#2 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/sbg-partitioner#7 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/sbg-partitioner#8 · 0 comments · 0 reactions · 1 assignee ·