CIFASIS/power-devs CIFASIS/power-devs

  • Stars
    star
    4
  • Rank 3,213,681 (Top 65 %)
  • Language
    C++
  • License
    GNU General Publi...
  • Created almost 4 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
CIFASIS/power-devs
github

CIFASIS

Reviews

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

Repository Details

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

More Repositories

1

QuickFuzz

An experimental grammar fuzzer in Haskell using QuickCheck
Haskell
194
star
2

VDiscover

A tool to predict vulnerability discovery of binary only programs
Python
182
star
3

neural-fuzzer

Python
91
star
4

nosy-newt

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

dense-sptam

Dense S-PTAM
C++
59
star
6

splitting_gan

Code for Class-Splitting Generative Adversarial Networks
Python
32
star
7

slam_agricultural_evaluation

Shell
31
star
8

gnss-stereo-inertial-fusion

C++
26
star
9

qss-solver

Modeling and simulation tool for continuous and hybrid systems.
C
25
star
10

OS-fuzzing

Using Machine Learning to predict the outcome of a zzuf fuzzing campaign
Python
24
star
11

object-detection-sptam

Online Object Detection and Localization on Stereo Visual SLAM System
Jupyter Notebook
23
star
12

exploiting-gan-internal-capacity

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

dataset-processing

Tools to process the Weed removing robot dataset
Python
14
star
14

wganvo

WGANVO: Monocular Visual Odometry based on WGAN
Python
9
star
15

megadeth

MEga DErivation with Template Haskell
Haskell
8
star
16

modelicacc

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

distributed-sptam

Distributed S-PTAM
C++
8
star
18

spp_estimation

Seed-per-pod estimation for plant breeding using deep learning
Python
5
star
19

ghc-cm

Prototype GHC with Class Morphisms
Haskell
4
star
20

curso-herramientas

Curso de Herramientas de Machine Learning para el Polo Tecnolรณgico
Python
4
star
21

sb-graph

Set Based Graph Library
C++
3
star
22

vdiscover-workshop

Python
2
star
23

basalt-with-persistent-map

C++
2
star
24

svo-2.0

C++
2
star
25

ORB_SLAM3

C++
1
star
26

okvis_ros

C++
1
star
27

grotloc

Ground Truth for Loop Closure (GroTLoC)
Python
1
star
28

weed_robot_simulation

Dockerfile
1
star
29

bug-report-scripts

Python
1
star
30

basalt_ros

Shell
1
star
31

rovio

C++
1
star
32

certificate

Haskell
1
star
33

rebvo

MATLAB
1
star
34

r-vio

C++
1
star
35

FLVIS

C++
1
star
36

msckf_vio

C++
1
star
37

Kimera-VIO-ROS

C++
1
star
38

VINS-Fusion

C++
1
star