Jaime Arias Almeida (@himito)
github

himito

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8
  • Global Rank 1,106,139 (Top 39 %)
  • Followers 58
  • Following 141
  • Registered almost 15 years ago
  • Most used languages
    SystemVerilog     25.0 %
    OCaml
         25.0 %
    Python
         25.0 %
    PHP
         25.0 %
  • Location 🇫🇷 France
  • Country Total Rank 22,765
  • Country Ranking
    SystemVerilog     8
    OCaml
         307
    PHP
         5,277
    Python
         8,164

Top repositories

1

tccMChecker

Python implementation for the tcc model checking
Python
2
star
2

laravel-mailman

Laravel API for Mailman 3
PHP
1
star
3

is2uppaal

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

reactiveIS

Reactive programming language for writing and executing interactive multimedia scenarios
OCaml
1
star
5

PUJ_Beamer_Theme

Tema de Beamer personalizado para la PUJC
1
star
6

formato-anteproyecto

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