Pinned Repositories
formato-anteproyecto
Formato de Anteproyecto de la Carrera de Ingeniería de Sistemas y Computación
is2uppaal
Tool to translate an interactive scenario written in i-score into its UPPAAL model.
laravel-mailman
Laravel API for Mailman 3
PUJ_Beamer_Theme
Tema de Beamer personalizado para la PUJC
reactiveIS
Reactive programming language for writing and executing interactive multimedia scenarios
symon
A symbolic model checker for the NTCC calculus
tccMChecker
Python implementation for the tcc model checking
pyhrf
PyHRF is a set of tools to analyze fMRI data and specifically study hemodynamics.
vmo-score
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito's Repositories
himito/tccMChecker
Python implementation for the tcc model checking
himito/is2uppaal
Tool to translate an interactive scenario written in i-score into its UPPAAL model.
himito/laravel-mailman
Laravel API for Mailman 3
himito/reactiveIS
Reactive programming language for writing and executing interactive multimedia scenarios
himito/symon
A symbolic model checker for the NTCC calculus
himito/awesome-algorithms
A curated list of awesome places to learn and/or practice algorithms.
himito/awesome-python
A curated list of awesome Python frameworks, libraries, software and resources
himito/awesome-python-books
:books: Directory of Python books
himito/beamer_template
Beamer template that I use for my presentations
himito/BuDDy
BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files
himito/DevConf-Theme
DevConf - Free Bootstrap Conference Template For Tech Conferences and Events
himito/docker-coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
himito/Factor-Oracle
himito/from-python-to-numpy
An open-access book on numpy vectorization techniques, Nicolas P. Rougier, 2017
himito/GestionDesPrets
himito/himito.github.io
My personal website
himito/ldapts
LDAP client written in typescript
himito/mlgmp
An interface between OCaml and GMP (multiprecision library)
himito/MovieRatingApp
himito/NModel
A branch of NModel from http://nmodel.codeplex.com.
himito/online-judge-solutions
himito/opam-repository
Main public package repository for opam, the source package manager of OCaml.
himito/pelican-bibtex
pelican-bibtex: Manage your academic publications page with Pelican and BibTeX
himito/ReactiveSessions
This repository will contain the first prototype for the implementation of the ReactiveSessions library.
himito/ritmos
Interpreter for interactive scenarios implemented in ReactiveML that provides a graphical real-time feedback
himito/scipy_proceedings
Tools used to generate the SciPy conference proceedings
himito/solidity2cpn
himito/sylvan
Implementation of multi-core (binary) decision diagrams
himito/vscode-IMITATOR
IMITATOR language support for VS code
himito/vscode-rml
ReactiveML Language Support for Visual Studio Code