CIFASIS/certificate

Stars
1
Language
Haskell
License
Other
Created over 8 years ago
Updated over 8 years ago

CIFASIS/certificate

CIFASIS

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

QuickFuzz

An experimental grammar fuzzer in Haskell using QuickCheck

VDiscover

A tool to predict vulnerability discovery of binary only programs

neural-fuzzer

nosy-newt

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

dense-sptam

gnss-stereo-inertial-fusion

GNSS-Stereo-Inertial SLAM implementation that fuses GNSS, visual and inertial measurements using a tightly-coupled approach.

slam_agricultural_evaluation

splitting_gan

Code for Class-Splitting Generative Adversarial Networks

qss-solver

Modeling and simulation tool for continuous and hybrid systems.

object-detection-sptam

Online Object Detection and Localization on Stereo Visual SLAM System

Jupyter Notebook

OS-fuzzing

Using Machine Learning to predict the outcome of a zzuf fuzzing campaign

exploiting-gan-internal-capacity

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

dataset-processing

Tools to process the Weed removing robot dataset

wganvo

WGANVO: Monocular Visual Odometry based on WGAN

megadeth

MEga DErivation with Template Haskell

modelicacc

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

distributed-sptam

Distributed S-PTAM

basalt-with-persistent-map

spp_estimation

Seed-per-pod estimation for plant breeding using deep learning

power-devs

PowerDEVS is an integrated tool for hybrid systems modeling and simulation based on the DEVS formalism.

sb-graph

Set Based Graph Library

ghc-cm

Prototype GHC with Class Morphisms

curso-herramientas

Curso de Herramientas de Machine Learning para el Polo Tecnológico

vdiscover-workshop

ORB_SLAM3

svo-2.0

okvis_ros

grotloc

Ground Truth for Loop Closure (GroTLoC)

weed_robot_simulation

bug-report-scripts

basalt_ros

rovio

rebvo

FLVIS

msckf_vio

r-vio

VINS-Fusion

Kimera-VIO-ROS

StereoLoopDetector

Code for the article "Addressing the challenges of loop detection in agricultural environments" published in the Journal of Field Robotics, 2024.