himito Goto Github PK

awesome-algorithms

A curated list of awesome places to learn and/or practice algorithms.

awesome-python

A curated list of awesome Python frameworks, libraries, software and resources

awesome-python-books

:books: Directory of Python books

beamer_template

Beamer template that I use for my presentations

buddy

BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files

devconf-theme

DevConf - Free Bootstrap Conference Template For Tech Conferences and Events

docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]

factor-oracle

formato-anteproyecto

Formato de Anteproyecto de la Carrera de Ingeniería de Sistemas y Computación

from-python-to-numpy

An open-access book on numpy vectorization techniques, Nicolas P. Rougier, 2017

gestiondesprets

himito.github.io

My personal website

is2uppaal

Tool to translate an interactive scenario written in i-score into its UPPAAL model.

laravel-mailman

Laravel API for Mailman 3

ldapts

LDAP client written in typescript

mlgmp

An interface between OCaml and GMP (multiprecision library)

movieratingapp

nmodel

A branch of NModel from http://nmodel.codeplex.com.

online-judge-solutions

opam-repository

Main public package repository for opam, the source package manager of OCaml.

pelican-bibtex

pelican-bibtex: Manage your academic publications page with Pelican and BibTeX

puj_beamer_theme

Tema de Beamer personalizado para la PUJC

py2app

Fork of the original py2app from https://bitbucket.org/ronaldoussoren/py2app

pygments-rml

Pygments for the ReactiveML programming language

reactiveis

Reactive programming language for writing and executing interactive multimedia scenarios

reactivesessions

This repository will contain the first prototype for the implementation of the ReactiveSessions library.

ritmos

Interpreter for interactive scenarios implemented in ReactiveML that provides a graphical real-time feedback

scipy_proceedings

Tools used to generate the SciPy conference proceedings

slides_factor_oracle

Presentation on Factor Oracle

snakes

SNAKES is the Net Algebra Kit for Editors and Simulators