Explore @CIFASIS Open Source projects

@CIFASIS

CIFASIS

Stars
893
Global Org. Rank 16,570 (Top 6 %)
Registered over 10 years ago
Most used languages

C++
41.0 %

Python
33.3 %

Haskell
10.3 %

Shell
5.1 %

MATLAB
2.6 %

C
2.6 %

Jupyter Notebook
2.6 %

Dockerfile
2.6 %
Location 🇦🇷 Argentina
Country Total Rank 94
Country Ranking

Haskell
3

C++
20

Python
24

Jupyter Notebook
44

Shell
57

C
59

MATLAB
65

Dockerfile
122

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

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.