CIFASIS/megadeth

Stars
8
Rank 2,099,232 (Top 42 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 8 years ago
Updated over 7 years ago

CIFASIS/megadeth

CIFASIS

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

MEga DErivation with Template Haskell

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

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

certificate

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.