Skip to content
View jesusvilela's full-sized avatar
22 followers · 190 following

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLO

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLO

Highlights

Block or report jesusvilela

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
jesusvilela/README.md

Jesús Vilela · Dojo-1

Jesús Vilela Jato · Dojo-1

Proof kernels · geometric intelligence · semantic systems · adversarial verification

Enter the interactive research cosmos · Visit Dojo-1 · Explore the public repositories

I build public, inspectable systems at the boundary of mathematics, software, and machine intelligence. The interactive site maps the available work as a live hyperbolic constellation and links every named node to its repository.

Pinned Loading

  1. Topos-Trasgo Topos-Trasgo Public

    A Topos AI App Based on Trasgo

    Kotlin 1

  2. trasgo trasgo Public

    In Iberian folklore, trasgo / trasno / trasgu is a small mischievous domestic goblin-like creature associated with Galician tradition as well as nearby northern Iberian folklore, so it has a clever…

    JavaScript 4

  3. connection_laplacian_lean connection_laplacian_lean Public

    Lean 4 / Mathlib v4.11.0 formalisation of the kernel dimension theory of the Z/2 connection Laplacian on finite simple graphs, with paper

    Python 1

  4. IGBundle-LLM IGBundle-LLM Public

    IGBundle LLM is an experimental framework for adapting Large Language Models (LLMs) using concepts from Information Geometry and Sheaf/Bundle Theory.

    Python 1

  5. lambda-sat-solver lambda-sat-solver Public

    Certified frame-first SAT middleware — decide structured regions (2-SAT · GF(2) parity · counting) before CDCL, and independently verify every verdict (model replay · DRAT). A research harness for…

    Python 1

  6. aigit aigit Public

    AI-native semantic version control layer built on Git.

    Python 2