cifasis Goto Github PK

megadeth

MEga DErivation with Template Haskell

meta

A tiny metaprogramming library

modelicacc

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

msckf_vio

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

object-detection-sptam

Online Object Detection and Localization on Stereo Visual SLAM System

okvis

okvis_ros

opencv

Open Source Computer Vision Library

opencv_contrib

Repository for OpenCV's extra modules

orb_slam3

os-fuzzing

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

pose_listener

power-devs

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

powerdevs

py-faster-rcnn

Faster R-CNN (Python implementation) -- see https://github.com/ShaoqingRen/faster_rcnn for the official MATLAB version

pylearn2

A Machine Learning library based on Theano

qf-explorer

qss-solver

Modeling and simulation tool for continuous and hybrid systems.

quadtree

A simple and modern C++ quadtree implementation

quickfuzz

An experimental grammar fuzzer in Haskell using QuickCheck

r-vio

radamsa

a general purpose fuzzer

rebvo

ros-utils

ros-utils

rovio

sb-graph

Set Based Graph Library

slam_agricultural_evaluation

splitting_gan

Code for Class-Splitting Generative Adversarial Networks