Skip to content
View utensil's full-sized avatar
255 followers · 404 following
  • 21:08 (UTC +08:00)

Sponsoring

@ziglang

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@numenta @htm-community @pygae

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 250 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

Better Stack Badge

Github

A public code forge 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.

GitHub was my only public code forge, and now I'm also partially on:

utensil

Programming Languages in use:

lean rust julia cplusplus python javascript

Programming Languages to learn:

zig ocaml gleam uiua

Interests:

Geometric Algebra Discrete Differential Geometry Developmental Biology Dynamical systems NuPIC Lacan

Pinned Loading

  1. pygae/galgebra pygae/galgebra Public

    Symbolic Geometric Algebra/Calculus package for SymPy 🔮

    Python 268 68

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

    Julia interface to GAlgebra via PyCall

    Jupyter Notebook 17 4

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

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

    Lean 53 4

  4. formal-land formal-land Public

    My monorepo for formalization, e.g. Lean, Aya

    Lean 4 2

  5. forest forest Public

    My Zettelkasten-style forest of evergreen notes on math and tech.

    Python 12

  6. native-land native-land Public

    A monorepo for my native projects, including on GPU

    Zig