Skip to content
View utensil's full-sized avatar
182 followers · 377 following

Sponsoring

@OpenAccess-AI-Collective

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Organizations

@numenta @htm-community @pygae
Block or Report

Block or report utensil

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
utensil/README.md

👋 Hi, I'm Utensil

Github is where I explore ideas, write stuff, contribute to or create open-source projects out of personal interest. It's part of my spiritual life, independent of my professional career. I've been coding since my 6th grade (1999), coding connects me with the world: how things work, how I can interact with their internals and build things as how I imagine.

utensil

Programming Languages:

lean rust julia python ruby cplusplus javascript

Interests:

Geometric Algebra Discrete Differential Geometry Developmental Biology Dynamical systems NuPIC Lacan

Pinned

  1. pygae/galgebra pygae/galgebra Public

    Symbolic Geometric Algebra/Calculus package for SymPy 🔮

    Python 215 62

  2. pygae/GAlgebra.jl pygae/GAlgebra.jl Public

    Julia interface to GAlgebra via PyCall

    Jupyter Notebook 14 4

  3. pygae/lean-ga pygae/lean-ga Public

    A partial formalization of Geometric Algebra in the Lean formal proof verification system.

    Lean 45 4

  4. lean-playground lean-playground Public

    Experiment with Lean prover.

    Lean 4 2

  5. utensil.github.io utensil.github.io Public

    My Github Home

    JavaScript 3 2

  6. slides slides Public

    My slides using reveal-md

    JavaScript 1 1