Skip to content
View HanielUlises's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.
24 followers · 22 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Block or report HanielUlises

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.

Content in all repositories owned by your account will be closed.
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
HanielUlises/README.md

Hi there, I'm Haniel :)

AI Engineering student @ IPN, Philosophy undergraduate @ UNAM, and incoming mathematician. Interested in artificial intelligence, mathematics, philosophy, and the occasional attempt to understand intelligence and noumena, lol. Most of my engineering education came from self-study, books, mooocs, open-source projects, and an irresponsible amount of money spent on resources that consistently outperformed the "curriculum" at IPN.

Your Image Description

You can check out some of my projects down here, I hope you find something interesting in my profile :)

Pinned Loading

  1. ePlanSys/eplansys ePlanSys/eplansys Public

    DEL-based epistemic planning system for ROS2. Supports EPDDL, S5/KD45 models, and multi-robot coordination under partial observability. Built on PlanSys2.

    C++ 3

  2. High-Performance-CV High-Performance-CV Public

    A curated collection of high-efficiency C++ computer vision projects and reference implementations built with OpenCV. It provides practical, modular examples demonstrating fast image processing, re…

    C++ 7 1

  3. Algebraic-Scientific-Computing Algebraic-Scientific-Computing Public

    Algebraic and generic approaches to scientific computing in modern C++, grounded in abstract algebra, numerical methods, and mathematical structures.

    C++ 4

  4. Image-Processing-C Image-Processing-C Public

    Low-level image processing algorithms in C compiled to WebAssembly, showcasing manual memory management and performance-focused pixel manipulation.

    C 7

  5. Possible-World-Semantics Possible-World-Semantics Public

    A Lean 4 formalization of possible-world and situation semantics, following the higher-order modal and situation-theoretic tradition of Zalta, Fine, and Barwise–Perry.

    Lean 5

  6. Machine-Learning-Cpp Machine-Learning-Cpp Public

    Some machine learning implementations with C++

    C++ 2