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/sbg-partitioner#18 · 0 comments · 0 reactions · 1 assignee ·
-
Update documentation Open
CIFASIS/sbg-partitioner#21 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
CIFASIS/sbg-partitioner#22 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/sbg-partitioner#29 · 0 comments · 0 reactions · 1 assignee ·
-
CIFASIS/qss-solver#2 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
CIFASIS/qss-solver#25 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#30 · 0 comments · 0 reactions · 1 assignee ·
-
Generate HA matrix Openenhancement
CIFASIS/qss-solver#32 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#42 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#43 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#44 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#45 · 0 comments · 0 reactions · 1 assignee ·
-
MMOC feature tests Openenhancement
CIFASIS/qss-solver#46 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#50 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#52 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#53 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#59 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#60 · 1 comment · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#80 · 2 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#151 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#188 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#194 · 3 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#238 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#247 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#248 · 0 comments · 0 reactions · 1 assignee ·
-
Improve code quality Openenhancement
CIFASIS/qss-solver#252 · 0 comments · 0 reactions · 1 assignee ·
-
bug
CIFASIS/qss-solver#254 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#256 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#261 · 0 comments · 0 reactions · 1 assignee ·
-
CIFASIS/qss-solver#272 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
CIFASIS/qss-solver#280 · 0 comments · 0 reactions · 1 assignee ·
-
Add Wiki entry with Python console details and a message with a link in the console or help button.. Openenhancement
CIFASIS/qss-solver#281 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#285 · 0 comments · 0 reactions · 1 assignee ·
-
Add GUI launch test. Openenhancement
CIFASIS/qss-solver#286 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/qss-solver#288 · 0 comments · 0 reactions · 1 assignee ·
-
CIFASIS/qss-solver#300 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement
CIFASIS/modelicacc#27 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/modelicacc#67 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/modelicacc#68 · 1 comment · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/modelicacc#74 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/modelicacc#76 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
CIFASIS/modelicacc#77 · 1 comment · 0 reactions · 1 assignee ·
-
CIFASIS/rosariov2#1 · 0 comments · 0 reactions · 0 assignees ·
-
CIFASIS/rosariov2#17 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
CIFASIS/sb-graph#14 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/sb-graph#25 · 1 comment · 0 reactions · 2 assignees ·
-
enhancement
CIFASIS/sb-graph#28 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement
CIFASIS/sb-graph#36 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
CIFASIS/sb-graph#46 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
CIFASIS/sb-graph#47 · 0 comments · 0 reactions · 0 assignees ·
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.