CIFASIS/qss-solver CIFASIS/qss-solver

  • Stars
    star
    28
  • Rank 882,216 (Top 18 %)
  • Language
    C
  • License
    GNU General Publi...
  • Created over 7 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
CIFASIS/qss-solver
github

CIFASIS

Reviews

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

Repository Details

Modeling and simulation tool for continuous and hybrid systems.

More Repositories

1

QuickFuzz

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

VDiscover

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

neural-fuzzer

Python
90
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++
60
star
6

gnss-stereo-inertial-fusion

GNSS-Stereo-Inertial SLAM implementation that fuses GNSS, visual and inertial measurements using a tightly-coupled approach.
C++
36
star
7

slam_agricultural_evaluation

Shell
33
star
8

splitting_gan

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

object-detection-sptam

Online Object Detection and Localization on Stereo Visual SLAM System
Jupyter Notebook
25
star
10

OS-fuzzing

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

exploiting-gan-internal-capacity

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

dataset-processing

Tools to process the Weed removing robot dataset
Python
15
star
13

wganvo

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

megadeth

MEga DErivation with Template Haskell
Haskell
8
star
15

modelicacc

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

distributed-sptam

Distributed S-PTAM
C++
8
star
17

basalt-with-persistent-map

C++
5
star
18

spp_estimation

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

power-devs

PowerDEVS is an integrated tool for hybrid systems modeling and simulation based on the DEVS formalism.
C++
5
star
20

sb-graph

Set Based Graph Library
C++
4
star
21

ghc-cm

Prototype GHC with Class Morphisms
Haskell
4
star
22

curso-herramientas

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

vdiscover-workshop

Python
2
star
24

ORB_SLAM3

C++
2
star
25

svo-2.0

C++
2
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

certificate

Haskell
1
star
32

rovio

C++
1
star
33

rebvo

MATLAB
1
star
34

FLVIS

C++
1
star
35

msckf_vio

C++
1
star
36

r-vio

C++
1
star
37

VINS-Fusion

C++
1
star
38

Kimera-VIO-ROS

C++
1
star
39

StereoLoopDetector

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