Skip to content
View ximenesyuri's full-sized avatar
20 followers · 1 following

Organizations

@typedsystem @omnishell

Block or report ximenesyuri

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ximenesyuri/README.md

Hi.

My name is Yuri Ximenes Lecca (Yuri Ximenes Martins, Yuri Ximenes, ximenesyuri, or just yx, for short). I'm a Brazilian researcher and software developer.

As a researcher I have been working in the interplay between Mathematics, Computer Science, Physics and Philosophy, mainly in topics related to abstraction processes, with an emphasis in categorical aspects. As a developer, I'm a devote of shell scripting and of functional programming. I'm also an active Linux user and a Vim lover.

  • Currently I'm working as a Software Developer at Magalu Cloud.
  • Maintainer of typedsystem organization containing the typed ecossystem.
  • Maintainer of omnishell organization with the omni shell framework.
+----------------------------------------------------------+  
|  linux           category theory           axiomatics    | 
|                                                          |  
|    mathematics     functional programming                |  
|                                          homotopy theory | 
|   type theory        +-------------+                     |  
|                      | abstraction |       foundations   |  
|       programming    +-------------+                     |  
|                                              teaching    |   
| formalism     philosophy          logic       learning   |  
|                           vim                            |
|     shell scripting               computer science       |
+----------------------------------------------------------+

See also:

Pinned Loading

  1. omnishell/omni omnishell/omni Public

    An extensible, memory optmized `bash` framework

    Shell 1

  2. omnishell/tools omnishell/tools Public

    The repository of official tools for `omni` framework

    Shell

  3. typedsystem/typed typedsystem/typed Public

    The main lib of `typedsystem`: a typed approach to Python

    Python 3 1

  4. typedsystem/utils typedsystem/utils Public

    The lib of utilities for `typedsystem`: a typed approach to Python

    Python

  5. typedsystem/cli typedsystem/cli Public

    The CLI builder of `typedsystem`: a typed approach to Python

    Python 5

  6. typedsystem/api typedsystem/api Public

    The ASGI and API builder of `typedsystem`: a typed approach to Python

    Python