@CIFASIS

CIFASIS

Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas

  • QSS Solver MicroModelica Compiler.

    C++ 1 GPL-3.0 Updated Sep 22, 2018
  • Tools to process the Weed removing robot dataset

    Python Updated Sep 21, 2018
  • Prototype GHC with Class Morphisms

    Haskell 3 Updated Jun 12, 2018
  • Haskell Documentation Tool

    HTML 128 Updated Jun 12, 2018
  • Dense S-PTAM

    C++ 23 5 GPL-3.0 Updated Jun 11, 2018
  • QSS Solver distributed MicroModelica packages.

    Python GPL-3.0 Updated May 4, 2018
  • QSS Solver MicroModelica distributed models.

    C GPL-3.0 Updated May 4, 2018
  • SBML to MicroModelica model translator

    C++ GPL-3.0 Updated May 4, 2018
  • QSS Solver Graphic User Interface

    C++ 1 GPL-3.0 Updated May 4, 2018
  • QSS Solver C user libraries.

    Python GPL-3.0 Updated May 4, 2018
  • QSS Solver engine and compiler test suite.

    C GPL-3.0 Updated May 4, 2018
  • QSS Solver simulator engine

    C GPL-3.0 Updated May 4, 2018
  • Modeling and simulation tool for continuous and hybrid systems.

    Shell GPL-3.0 Updated May 4, 2018
  • sptam

    Forked from lrse/sptam

    S-PTAM: Stereo Parallel Tracking and Mapping

    C++ 108 Updated Mar 16, 2018
  • Seed-per-pod estimation for plant breeding using deep learning

    Python 2 Updated Feb 5, 2018
  • An experimental grammar fuzzer in Haskell using QuickCheck

    Haskell 172 41 GPL-3.0 7 issues need help Updated Dec 3, 2017
  • Distributed S-PTAM

    C++ 1 1 Updated Nov 14, 2017
  • C++ 1 2 GPL-3.0 Updated Oct 14, 2017
  • GPL-3.0 Updated Oct 13, 2017
  • Code for Class-Splitting Generative Adversarial Networks

    Python 30 5 Updated Oct 3, 2017
  • A tool to predict vulnerability discovery of binary only programs

    Python 150 38 GPL-3.0 8 issues need help Updated Sep 14, 2017
  • Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton

    Python 59 13 GPL-3.0 Updated Aug 5, 2017
  • Curso de Herramientas de Machine Learning para el Polo Tecnológico

    Python 4 1 GPL-3.0 Updated May 12, 2017
  • Python GPL-3.0 Updated Apr 19, 2017
  • MEga DErivation with Template Haskell

    Haskell 7 1 Updated Apr 12, 2017
  • Haskell Updated Dec 3, 2016
  • hogg

    Forked from kfish/hogg

    Haskell library and tools to manipulate the Ogg container format

    Haskell 1 3 Updated Oct 24, 2016
  • hmm

    Forked from mikeizbicki/hmm

    hidden markov models in haskell

    Haskell 11 Updated Sep 28, 2016
  • ttasm

    Forked from jseaton/ttasm

    TTF Assembler

    Haskell 2 2 GPL-3.0 Updated Sep 17, 2016
  • Python 1 Updated Sep 16, 2016